Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Predicate calculus and program semantics
Predicate calculus and program semantics
Author 
Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.
Preferred Shelf Number 
QA 9.35 D55 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Propositional and Predicate Calculus A Model of Argument
Propositional and Predicate Calculus A Model of Argument
Author 
Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
4. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Intelligence in Models, Methods and Applications
Artificial Intelligence in Models, Methods and Applications
Author 
Dolinina, Olga. editor. Bessmertny, Igor. editor. Brovko, Alexander. editor. Kreinovich, Vladik. editor. Pechenkin, Vitaly. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22938-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A modern introduction to fuzzy mathematics
A modern introduction to fuzzy mathematics
Author 
Syropoulos, Apostolos, author.
Preferred Shelf Number 
QA248.5 .S97 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Author 
Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies: