Suchfeld einblenden
Person Jouannaud, Jean-Pierre
2 Treffer
Seite < 1 >
Constraints in computational logics
: first international conference ; proceedings / CCL '94, Munich, Germany, September 7 - 9, 1994. Jean-Pierre Jouannaud (ed.). - Berlin : Springer, 1994. - VIII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 845)
ISBN 978-3-540-58403-2 / 3-540-58403-X kart. : DM 72.00
Literaturangaben
Quelle: DNB
Rewriting, computation and proof
: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift] / Hubert Comon-Lundh ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4600)
ISBN 978-3-540-73147-4
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
