hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Auflösungsprinzip
1 Treffer
Seite < 1 >
 

Leitsch, Alexander: The resolution calculus

/ Alexander Leitsch. - Berlin : Springer, 1997. - VIII, 300 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)

ISBN 3-540-618821 Pp. : DM 58.00

Literaturverz. S. 289 - 293

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen