Refine your search


Your search returned 457 results.

1.
Outils logiques pour l'intelligence artificielle / Jean-Paul Delahaye,... ; Préface de Maurice NivatEdition : 2e édition revue et corrigéePublication : Paris : Eyrolles, 1987Availability : Items available for loan : BU Beaulieu[B8416] (1).
2.
Logical foundations / vol. co-ordinator J. SiekmannEdition : [Reprinted]Publication : Oxford : Clarendon Press, 1996Availability : Items available for loan : ENSSAT[F 2.] (1).
3.
Commonsense reasoning [Texte imprimé] / Erik T. MuellerPublication : Amsterdam : Elsevier Morgan Kaufmann, cop. 2006Availability : Items available for loan : BU Beaulieu[Y56974] (1).
4.
Logiques pour l'intelligence artificielle / par Raymond Turner,...Publication : Paris : Masson, 1986Availability : Items available for loan : IUT de Lannion[006.3 TUR] (1). On order (1).
5.
Approche logique de l'intelligence artificielle. 3, Du traitement de la langue à la logique des systèmes experts / André Thayse, Albert Bruffaerts, Pierre Dupont, Éric Henin... [et al.]Publication : Paris : Bordas, DL 1990Availability : No items available On order (1).
6.
Approche logique de l'intelligence artificielle. 1, De la logique classique à la programmation logique / par André Thayse,... Albert Bruffaerts,... Pierre Dupont,... Éric Henin,... [et al.]Publication : Paris : Dunod, DL 1990Availability : Items available for loan : ENSSAT[I 1. THA.] (1).
7.
Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances / Jean-Paul Haton, Nadjet Bouzid, François Charpillet... [et al.] ; préface de Jacques PitratPublication : Paris : InterEditions, DL 1991Availability : Items available for loan : ENSSAT[I 1.] (2). On order (1).
8.
Logique. Volume 2, Méthodes formelles pour l'étude des programmes / Paul Gochet, Pascal GribomontPublication : Paris : Hermès, cop. 1994Availability : Items available for loan : ENSSAT[F 2.] (1), BU Beaulieu[Y60965] (1).
9.
La machine en logique / Pierre WagnerPublication : Paris : Presses Universitaires de France, DL 1998Availability : Items available for loan : ENSSAT[I 1.] (1), BU Beaulieu[160 WAG ] (1).
10.
Turing / Jean LassèguePublication : Paris : Les Belles Lettres, 1998Note : Autre tirage : 2003Availability : Items available for loan : BU Beaulieu[509.510 TUR LAS] (1). On order (1).
11.
Symbolic logic and mechanical theorem proving / Chin-Liang Chang,... Richard Char-Tung Lee,...Publication : New York (N.Y.) : Academic pressPublication : C 1973Note : Autre réimpr. : 1987Availability : Items available for loan : BU Beaulieu[Y61053] (1). On order (1).
12.
Nonmonotonic reasoning and uncertain reasoning [Texte imprimé] / vol. co-ordinator D. NutePublication : Oxford : Clarendon Press, 1994Availability : Items available for loan : BU Beaulieu[Y61066] (1).
13.
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. HalpernPublication : Los Altos CA : M. Kaufmann, 1986Availability : Items available for loan : INSA[MAG 04309] (1).
14.
Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet, Pascal GribomontPublication : Paris : Hermès, DL 1990, cop. 1990Note : Autres tirages : 1991, 1992, 1997, 1998Availability : Items available for loan : ENSSAT[F2] (1), IUT de Lannion[519 GOC] (1), BU Beaulieu[160 GOC LOG 1] (1).
15.
Logiques non monotones et intelligence artificielle / Eric GrégoirePublication : Paris : Hermès, impr. 1990Availability : Items available for loan : IUT de Lannion[519 GRE] (1), BU Beaulieu[B5093] (1).
16.
Simply logical [Texte imprimé] : intelligent reasoning by example / Peter FlachPublication : Chichester : Wiley, c1994Availability : Items available for loan : BU Beaulieu[Y61059] (1).
17.
Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and Vladimir LifschitzPublication : Cambridge, Mass. : MIT Press, c1987Availability : Items available for loan : BU Beaulieu[Y61086] (1).
18.
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).
19.
Pensée symbolique et intuition / par Michel BourdeauPublication : Paris : Presses universitaires de France, DL 1999Note : Retirage : 2020Availability : Items available for loan : BU Beaulieu[S31963] (1). Withdrawn (1).
20.
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).

 

Powered by Koha