Books listed by ISBN > Birkhauser > Stan Raatz

Stan Raatz

titleISBN-13
(ISBN-10)		year of publication
Graph-Based Proof Procedures for Horn Clauses978-O-8176-353O-5
(O-8176-353O-O)		1990

S R · Stan Rodski · Sten Rethage

Stan Rachelson