Limit Search Results
Author
SpringerLink (Online service)
(227)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(302)
Mathematics.
(125)
Computer science.
(102)
Logic.
(48)
Artificial intelligence.
(36)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
343 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for LOGIC AND KNOWLEDGE
LOGIC AND KNOWLEDGE
Author 
Russell, Bertrand, 1872-1970, author.
Preferred Shelf Number 
B1649 .R94
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003605096
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Bertrand's paradox and the principle of indifference
Bertrand's paradox and the principle of indifference
Author 
Shackel, Nicholas, 1955- author.
Preferred Shelf Number 
QA273.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456308
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Symbolic regression
Symbolic regression
Author 
Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.
Preferred Shelf Number 
QA76.623
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315166407
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
Author 
Bacon, Andrew, 1985-
Preferred Shelf Number 
BC135
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003039181
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Concise introduction to logic and set theory
Concise introduction to logic and set theory
Author 
Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Preferred Shelf Number 
QA9 .A5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429022838
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Introduction to fuzzy logic
Introduction to fuzzy logic
Author 
Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA9.64 .P43 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Architecture of mathematics
Architecture of mathematics
Author 
Serovajsky, Simon, author.
Preferred Shelf Number 
QA9
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429470370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
Author 
Klagge, James Carl, 1954- author.
Preferred Shelf Number 
B3376 .W563
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003030072
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced mathematics : a transitional reference
Advanced mathematics : a transitional reference
Author 
Farlow, Stanley J., 1937- author.
Preferred Shelf Number 
QA37.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563549
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for UNDERSTANDING MATHEMATICAL PROOF
UNDERSTANDING MATHEMATICAL PROOF
Author 
TAYLOR, JOHN.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190735
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets