Bücher nach ISBN > Verlag Dr. Kovac > Oscar Slotosch

Oscar Slotosch

O's · Oskar Schultz

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Analogieschlüsse beim automatischen Beweisen .978-3-86064-006-7
(3-86064-006-2)		1992
Refinements in HOLCF: Implementation of Interactive Systems .978-3-86064-625-0
(3-86064-625-7)		1997

Oscar Smart