Practical reasoning : international conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, june 1996 / Dov M. Gabbay, Hans Jurgen Ohlbach

Auteur principal collectivité : international conference on formal and applied practical reasoning, 1996, AuteurAuteur secondaire : Gabbay, Dov M., 1945-, Editeur scientifique • Ohlbach, Hans Jurgen, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 85Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1996ISBN: 3540613137.ISSN: 0302-9743.Sujet MSC : 68T27, Computer science, Logic in artificial intelligence
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70, General logic, Logic in computer scienceEn-ligne : Springerlink Item type: Livre numérique
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.