Limit Search Results
Author
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)
(9)
Liu, Zhiming. 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
Library
Switch to list view
Switch to thumbnail view
1801 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-4471-2500-6
Format: 
Excerpt: 
Sets, Logic and Maths for Computing Makinson, David. author.
50. 
Cover image for Handbook of logic and language
Handbook of logic and language
by 
Benthem, Johan van, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Excerpt: 
Logic, Symbolic and mathematical -- Handbooks, manuals, etc.
51. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
by 
Rautenberg, Wolfgang. author.
https://doi.org/10.1007/978-1-4419-1221-3
Format: 
Excerpt: 
A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang. author.
52. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
by 
Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-0-387-76277-7
Format: 
Excerpt: 
A Course on Mathematical Logic Srivastava, Shashi Mohan. author.
53. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
by 
Kröger, Fred. author.
https://doi.org/10.1007/978-3-540-68635-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
54. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-84628-845-6
Format: 
Excerpt: 
Sets, Logic and Maths for Computing Makinson, David. author.
55. 
Cover image for Extensionalism: The Revolution in Logic
Extensionalism: The Revolution in Logic
by 
Bar-Am, Nimrod. author.
https://doi.org/10.1007/978-1-4020-8168-2
Format: 
Excerpt: 
Extensionalism: The Revolution in Logic Bar-Am, Nimrod. author.
56. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
by 
Lover, Robert. author.
https://doi.org/10.1007/978-1-84800-082-7
Format: 
Excerpt: 
Elementary Logic For Software Development / Lover, Robert. author.
57. 
Cover image for Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB
by 
Sivanandam, S.N. author.
https://doi.org/10.1007/978-3-540-35781-0
Format: 
Excerpt: 
Introduction to Fuzzy Logic using MATLAB Sivanandam, S.N. author.
58. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
by 
Rautenberg, Wolfgang. author.
https://doi.org/10.1007/0-387-34241-9
Format: 
Excerpt: 
A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang. author.
59. 
Cover image for Fuzzy Logic Applications in Engineering Science
Fuzzy Logic Applications in Engineering Science
by 
Harris, J. author.
https://doi.org/10.1007/1-4020-4078-4
Format: 
Excerpt: 
Fuzzy Logic Applications in Engineering Science Harris, J. author.
60. 
Cover image for Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control
by 
Espinosa Oviedo, Jairo Jose. author.
https://doi.org/10.1007/b138626
Format: 
Excerpt: 
Fuzzy Logic, Identification and Predictive Control Espinosa Oviedo, Jairo Jose. author.
Go to:Search Results
|
Search Facets
|
Top of Page