Limit Search Results
Author
ACM Special Interest Group for Automata and Computability Theory.
(1)
Apt, Krzysztof R., 1949-
(1)
Association for Symbolic Logic.
(1)
Aït-Kaci, Hassan, 1954-
(1)
Bakker, J. W. de (Jacobus Willem), 1939-
(1)
Language
Publication Date
-
Subject
programmation en logique.
(11)
Logic, Symbolic and mathematical.
(6)
Electronic books.
(5)
Logic programming.
(5)
Logisch programmeren.
(5)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Louis Couturat -Traité de Logique algorithmique
Louis Couturat -Traité de Logique algorithmique
Author 
Schlaudt, Oliver. editor. Sakhri, Mohsen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0411-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Technologic and technology : a Paleo-history of Knapped Lithic objects
Technologic and technology : a Paleo-history of Knapped Lithic objects
Author 
Boëda, Eric, author. Chazan, Michael, translator.
Preferred Shelf Number 
GN434
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003359081
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 Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computing with multi-value logic in quantum dot cellular automata
Computing with multi-value logic in quantum dot cellular automata
Author 
Sabbaghi-Nadooshan, Reza, author.
Preferred Shelf Number 
TK7874.88 .S23 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fuzzy logic applications in computer science and mathematics
Fuzzy logic applications in computer science and mathematics
Author 
Kar, Rahul, editor.
Preferred Shelf Number 
QA9.64 .F89 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Fuzzy computing in data science : applications and challenges
Fuzzy computing in data science : applications and challenges
Author 
Mohanty, Sachi Nandan, editor. Chatterjee, Prasenjit, editor. Hung, Bui Thanh, editor.
Preferred Shelf Number 
QA9.64 .F89 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394156887
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Agent-based models and causal inference
Agent-based models and causal inference
Author 
Manzo, Gianluca, author.
Preferred Shelf Number 
H62 .M23596 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119704492
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Fast circuit boards : energy management
Fast circuit boards : energy management
Author 
Morrison, Ralph, author.
Preferred Shelf Number 
TK7874.7 .M67 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413950
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Application of graph rewriting to natural language processing
Application of graph rewriting to natural language processing
Author 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Preferred Shelf Number 
P98
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for High-performance system design circuits and logic
High-performance system design circuits and logic
Author 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Availability 
Online Library~1
Available:
Copies: