Showing 21 - 21 results of 21 for search '"Automatic theorem proving"', query time: 0.01s
Refine Results
-
21
Symbolic logic and mechanical theorem proving by Chang, Chin-Liang, 1937-
Published 1973Call Number: loading...
Located: loading...Book loading...
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- Automatic theorem proving 19 results 19
- Electronic books 10 results 10
- Computer science 7 results 7
- Artificial intelligence 5 results 5
- Logic, Symbolic and mathematical 5 results 5
- Computational complexity 4 results 4
- Data processing 4 results 4
- Software engineering 4 results 4
- Computer software 3 results 3
- Logic design 3 results 3
- Automatic theorem proving -- Congresses 2 results 2
- Computer programming 2 results 2
- Congresses 2 results 2
- Development 2 results 2
- Mathematics 2 results 2
- Algebra 1 results 1
- Algebra, Boolean 1 results 1
- Artificial intelligence -- Congresses 1 results 1
- Computer Communication Networks 1 results 1
- Computer algorithms 1 results 1
- Computer graphics 1 results 1
- Computer programs 1 results 1
- Computer-aided design 1 results 1
- Constraints (Artificial intelligence) 1 results 1
- Coq (Electronic resource) 1 results 1
- Decision making 1 results 1
- Design and construction 1 results 1
- Digital integrated circuits 1 results 1
- Discrete groups 1 results 1
- Geometry 1 results 1
- see all…
- SpringerLink (Online service) 4 results 4
- Alves-Foss, James 1964- 1 results 1
- Bibel, W. 1 results 1
- Bjørner, Nikolaj 1 results 1
- Brafman, Ronen I. 1 results 1
- Brownsword, Mike 1 results 1
- Brünnler, Kai 1 results 1
- Bultan, Tevfik 1 results 1
- Chang, Chin-Liang, 1937- 1 results 1
- Chlipala, Adam 1981- 1 results 1
- Conference on Automated Deduction Les Arcs, Savoie, France 1 results 1
- Eekelen, Marko van 1 results 1
- Gallier, Jean H. 1 results 1
- Geuvers, Herman 1 results 1
- Herde, Christian 1 results 1
- Holt, Jon 1 results 1
- Hsiung, Pao-Ann 1 results 1
- ITP(Conference) Berg en Dal, Netherlands) 1 results 1
- International Conference on Theorem Provers in Circuit Design 1 results 1
- International Symposium DISCO '96 (1996 : Karlsruhe, Germany) 1 results 1
- Karchmer, Mauricio 1 results 1
- Kowalski, Robert 1 results 1
- Kropf, Thomas 1961- 1 results 1
- Kumar, Ramayya 1957- 1 results 1
- Lee, Richard Char-Tung, 1939- 1 results 1
- Metcalfe, George 1 results 1
- NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany 1 results 1
- Narboux, Julien 1 results 1
- Perry, Simon A. 1 results 1
- Pruim, Randall J. 1 results 1
- see all…