Limit Search Results
Author
SpringerLink (Online service)
(477)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(302)
Computer science.
(198)
Artificial intelligence.
(158)
Mathematical logic.
(150)
Mathematics.
(129)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
623 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Author 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Author 
Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Author 
Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Concentrated solar power systems
Concentrated solar power systems
Author 
Pragathi, Bellamkonda, author. Kothari, D. P. (Dwarkadas Pralhaddas), 1944- author.
Preferred Shelf Number 
TJ810 .P865 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272389
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications
Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications
Author 
Nandi, Gypsy, author.
Preferred Shelf Number 
QA76.9 .S63 N36 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Author 
Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Error Logic: Paving Pathways for Intelligent Error Identification and Management
Error Logic: Paving Pathways for Intelligent Error Identification and Management
Author 
Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-00820-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action