Bücher nach ISBN > Springer > Gernot Salzer

Gernot Salzer

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Automated Deduction in Classical and Non-Classical Logics: Selected Papers978-3-54O-6719O-9
(3-54O-6719O-O)		2008Ricardo Caferra

G.S. · Gernot Schlösser · Gernot Schl\xF6sser

Gernot Sattler