Limit Search Results
Author
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Liu, Zhiming. editor.
(8)
Löwe, Benedikt. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(1061)
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(753)
Formal Languages and Automata Theory.
(611)
Machine theory.
(611)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1786 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Introduction to logic
Introduction to logic
by 
Packard, Denis J.
Format: 
Excerpt: 
Introduction to logic / Packard, Denis J.
14. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
by 
Tanaka, Koji. editor.
https://doi.org/10.1007/978-94-007-4438-7
Format: 
Excerpt: 
Paraconsistency: Logic and Applications Tanaka, Koji. editor.
15. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
by 
Vanderveken, Daniel. editor.
https://doi.org/10.1007/1-4020-3167-X
Format: 
Excerpt: 
Logic, Thought and Action Vanderveken, Daniel. editor.
16. 
Cover image for Logic, Reasoning, and Rationality
Logic, Reasoning, and Rationality
by 
Weber, Erik. editor.
https://doi.org/10.1007/978-94-017-9011-6
Format: 
Excerpt: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
17. 
Cover image for CNC tezgahlar= Programming logic
CNC tezgahlar= Programming logic
by 
Şekercioğlu, Ahmet
Format: 
Excerpt: 
CNC tezgahlar= Programming logic / Şekercioğlu, Ahmet
18. 
Cover image for The Logic survey analysis
The Logic survey analysis
by 
Rosenberg, Morris
Format: 
Excerpt: 
The Logic survey analysis / Rosenberg, Morris
19. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
by 
Bramer, Max. author.
https://doi.org/10.1007/978-1-4471-5487-7
Format: 
Excerpt: 
Logic Programming with Prolog Bramer, Max. author.
20. 
Cover image for Logic: a Brief Course
Logic: a Brief Course
by 
Mundici, Daniele. author.
https://doi.org/10.1007/978-88-470-2361-1
Format: 
Excerpt: 
Logic: a Brief Course Mundici, Daniele. author.
21. 
Cover image for Memory-Based Logic Synthesis
Memory-Based Logic Synthesis
by 
Sasao, Tsutomu. author.
https://doi.org/10.1007/978-1-4419-8104-2
Format: 
Excerpt: 
Memory-Based Logic Synthesis Sasao, Tsutomu. author.
22. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
by 
Schöning, Uwe. author.
https://doi.org/10.1007/978-0-8176-4763-6
Format: 
Excerpt: 
Logic for Computer Scientists Schöning, Uwe. author.
23. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
by 
Bramer, Max. author.
https://doi.org/10.1007/1-84628-212-8
Format: 
Excerpt: 
Logic Programming with Prolog Bramer, Max. author.
24. 
Cover image for Studies in Legal Logic
Studies in Legal Logic
by 
Hage, Jaap. author.
https://doi.org/10.1007/1-4020-3552-7
Format: 
Excerpt: 
Studies in Legal Logic Hage, Jaap. author.
Select an Action