German English

Save

Analyse Set

Logout

 
 
 
 

______________

GöDiscovery


Additional catalogues and databases

______________

Systematic search since 1994 (SUB)


Systematic search until 1945 (SUB)

______________

Video tutorials

______________

Lent or not available?
Book acquisition programme for students

______________

Home SUB

1 - 10 of 137
previous page      next page
* results  search EADB 000 (General logic {Mathematics})
Books 1.  Schließen bei unsicherem Wissen in der künstlichen Intelligenz : Vergleich von Formalismen anhand eines Beispiels
/ Sombé, Léa. - Braunschweig [u.a.] : Vieweg, 1992
Books 2.  Symbolic logic : classical and advanced systems
/ Gensler, Harry J.. - Englewood Cliffs, N.J. : Prentice Hall, 1990
Books 3.  Lectures on linear logic
/ Troelstra, Anne S.. - Menlo Park, Calif. : Center for the Study of Language and Information, 1992
Books 4.  Logic and information
/ Devlin, Keith J.. - Cambridge [u.a.] : Cambridge Univ. Press, 1991
Books 5.  Toward a logic of meanings
/ Piaget, Jean. - Hillsdale, NJ [u.a.] : Erlbaum, 1991
Books 6.  Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
/ Goodman, Irwin R.. - Amsterdam [u.a.] : North-Holland [u.a.], 1991
Books 7.  Grundzüge der Logik
/ Essler, Wilhelm Karl. - [3.-5. Aufl.]. - Frankfurt am Main : Klostermann, 1983-
Books 8.  The semantic foundations of logic
/ Epstein, Richard L.. - Dordrecht [u.a.] : Kluwer, 1990-
Books 9.  Using orientation information for qualitative spatial reasoning
/ Freksa, Christian. - Hamburg : Universität, Fachbereich Informatik, 1992
Books 10.  π-Red+ [Pi]-Red+ : ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten l-Kalküls
/ Gärtner, Dietmar. - Kiel : Inst. für Informatik und Praktische Mathematik, 1992
1 - 10 of 137
previous page      next page
 
1 - 10 of 137
previous page      next page