Computational logic and proof theory :
5th Kurt Gödel colloquium, KGC '97#Aug. 25-29
Gottlob, Georg (Editor) ; Leitsch, Alexander (Editor) ; Mundici, Daniele (Editor)
1997
347 p.
978-3-540-63385-3
00021486
algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne RDA
Language : English
EAN13 : 9783540633853
ISBN : 3-540-63385-5
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 1289
Location : Collection 1er étage
Event Number : 5
Event Year : 1997
City of congres : Vienna
Country of congres : Autriche
ACM code : F.2.2 ; F.4 ; I.2.3 ; I.2.4
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00021486 | [available] |