Suchfeld einblenden
Person Dowek, Gilles
2 Treffer
Seite < 1 >
Higher order algebra, logic, and term rewriting
: second international workshop ; selected papers / HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.). - Berlin : Springer, 1996. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1074)
ISBN 978-3-540-61254-4 / 3-540-61254-8 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Dowek, Gilles: Logik
/ Gilles Dowek. Aus dem Franz. von Rudolf Brenner. - Dt. Erstveröff. - Bergisch Gladbach : BLT, 1998. - 124 S. : Ill., graph. Darst.; 18 cm - (Domino; Bd. 11)
ISBN 978-3-404-93011-1 / 3-404-93011-8 kart. : DM 12.90, S 94.00
Literaturverz. S. 118 - 120
Quelle: DNB
Seite < 1 >
