Langue :

Proof and computation

Schwichtenberg, Helmut (Ed.) ; Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Ed.)

Appartient à la collection : NATO ASI series. Series F : Computer and system sciences, 139, ISSN 0258-1248

Disponible(->>)

Titre :
Proof and computation
Auteur : Schwichtenberg, Helmut (Ed.);
Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Ed.)
Éditeur : Berlin. New York. Springer
Parution : c1995
Notes : "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso
"Published in cooperation with NATO Scientific Affairs Division"
Bibliogr.
Liens : Appartient à la collection : NATO ASI series. Series F : Computer and system sciences, 139, ISSN 0258-1248
Sujets : Logic programming -- Congresses;
Logic, Symbolic and mathematical -- Congresses;
Programmation logique -- Actes de congrès;
Logique mathématique -- Actes de congrès
Format : 1 vol. (470 p.) : ill. ; 25 cm
Langue : Anglais
Type : Livre
ISBN 3-540-58581-8 (acid-free paper )
Source : Catalogue Bibliothèque Diderot
Origine de cette notice : SUDOC

Liens

Retour à la liste des résultats

Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE