Refine your search
Availability
- 
                            
                                
Authors
- Cohen, Carl
 - Copi, Irving M.
 - Das, Vinu V.
 - Dowek, Gilles
 - Gabbay, Dov M.
 - Granström, Johan Geo...
 - Gunopulos, Dimitrios
 - Hofmann, Thomas
 - Kime, Charles R.
 - Lipschutz, Seymour
 - Malerba, Donato
 - Mezini, Mira
 - Morazán, Marco T.
 - Rosen, Kenneth H.
 - Rozenberg, Grzegorz
 - Sicard, Gilles
 - Simao, Adenilso
 - van Benthem, Johan
 - Vazirgiannis, Michal...
 - Wolff, Burkhart
 - Show more
 - Show less
 
 - 
                            
                                
Collections
 - 
                            
                                
Holding libraries
 - 
                            
                                
Item types
 - 
                            
                                
Locations
 - 
                            
                                
Series
- Argumentation Librar...
 - Atlantis Computation...
 - Boston Studies in th...
 - Cognitive Technologi...
 - Communications in Co...
 - Data-Centric Systems...
 - Handbook of Philosop...
 - Lecture Notes in Com...
 - Logic, Epistemology,...
 - Schaum's outline ser...
 - SpringerBriefs in Po...
 - Studies in Linguisti...
 - Synthese Library, St...
 - Textbooks in mathema...
 - Texts in Computer Sc...
 - The MIT press essent...
 - The New Synthese His...
 - The Western Ontario ...
 - Theory and Applicati...
 - Undergraduate Topics...
 - Show more
 - Show less
 
 - 
                            
                                
Topics
- Algebra
 - Algorithm Analysis a...
 - Artificial intellige...
 - Artificial Intellige...
 - Computation by Abstr...
 - Computational comple...
 - Computer Communicati...
 - Computer science
 - Computer Science
 - Computer software
 - Discrete Mathematics...
 - Logic
 - Logic design
 - Logics and Meanings ...
 - Mathematical Logic a...
 - Programming Language...
 - Programming Techniqu...
 - Software Engineering
 - Software engineering
 - Symbolic and Algebra...
 - Show more
 - Show less