Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10769-6
- Collation
- xv, 756p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.13 Aut
LOGIC OF MATHEMATICS: A Modern Course Of Classical Logic
- Edition
- -
- ISBN/ISSN
- 0-471-06026-7
- Collation
- vii, 267 p.: 25cm
- Series Title
- Pure and applied mathematics
- Call Number
- 511.3 Ada l
- Edition
- -
- ISBN/ISSN
- 0-471-06026-7
- Collation
- vii, 267 p.: 25cm
- Series Title
- Pure and applied mathematics
- Call Number
- 511.3 Ada l
INTRODUCTION TO BOOLEAN ALGEBRA AND LOGIC DESIGN
- Edition
- -
- ISBN/ISSN
- 07-029183-7
- Collation
- xi, 306p.;ill.;21cm
- Series Title
- -
- Call Number
- 511.32 Hoe i
- Edition
- -
- ISBN/ISSN
- 07-029183-7
- Collation
- xi, 306p.;ill.;21cm
- Series Title
- -
- Call Number
- 511.32 Hoe i
Formal Methods: Theory and Practice
- Edition
- -
- ISBN/ISSN
- 0-632-01931-X
- Collation
- ix, 164 p.; tab.; 23 cm.
- Series Title
- -
- Call Number
- 005.131 For f
- Edition
- -
- ISBN/ISSN
- 0-632-01931-X
- Collation
- ix, 164 p.; tab.; 23 cm.
- Series Title
- -
- Call Number
- 005.131 For f
Search Result
Found 4 from your keywords: Subject : "Mathematical Logic"
Query took 0.00344 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography