Supernova

Your cart is empty.

 

Your search returned 7 results.

1.
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming [Texte imprimé] / edited by Dov M. Gabbay and C. J. Hogger and J. A. RobinsonPublication : Oxford : Clarendon Press, 1998Availability : Items available for loan : ENSSAT[F 2.] (1).
Place hold Add to cart
2.
Handbook of defeasible reasoning and uncertainty management systems. Vol. 5, Algorithms for uncertainty and defeasible reasoning [Texte imprimé] / volume editors Jürg Kohlas and Serafin MoralPublication : Dordrecht : Kluwer Academic Pub, cop. 2000Availability : Items available for loan : BU Beaulieu[Y63211] (1).
Place hold Add to cart
3.
Handbook of logic in artificial intelligence and logic programming. Volume 2, Deduction methodologics [Texte imprimé] / edited by Dov M. Gabbay and C. J. Hogger,... and J. A. Robinson,... ; volume co-ordinator J. Siekmann,...Publication : Oxford : Clarendon press, 1994, cop. 1994Note : Autre tirage : 1996Availability : Items available for loan : ENSSAT[F 2.] (1).
Place hold Add to cart
4.
Handbook of defeasible reasoning and uncertainty management systems / ed. Dov M. Gabbay,... Philippe Smets,.... Vol. 4, Abductive reasoning and learning [Texte imprimé] / vol. ed. Dov M. Gabbay,... and Rudolf Kruse,...Publication : Dordrecht [etc.] : Kluwer academic publ., cop. 2000Availability : Items available for loan : BU Beaulieu[Y63210] (1).
Place hold Add to cart
5.
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9–12, 1997 : proceedings / [edited by] Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart... [et al.]Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0035607Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0035607Availability : Items available for loan : INSA[006.333] (1), Bibliothèque numérique (1).
Place hold Add to cart
6.
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11–14, 1994 : proceedings / [edited by] Dov M. Gabbay, Hans Jürgen OhlbachPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0013976Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0013976Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
7.
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3–7, 1996 : proceedings / [edited by] Dov M. Gabbay, Hans Jürgen OhlbachPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-61313-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-61313-7Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart

 

Powered by Koha