Automated model building

by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Bok · Engelsk · 2004

Medvirkende	Leitsch, Alexander Peltier, Nicholas
Utgitt	Dordrecht : Kluwer , cop. 2004
Omfang	XI, 341 s.
Emner	Matematisk logikk : (NoOU)REAL012433 Modellteori : (NoOU)REAL010688
Dewey	511.3
ISBN	1402026528. - 9781402026522