Special issue / CADE 1996 [extended versions of papers published in the proceedings of the Conference on Automated Deduction (CADE) in 1996]

Bibliographische Detailangaben

Körperschaft:	CADE (VerfasserIn)
Weitere Verfasser:	Slaney, John (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	San Diego, Calif. u.a. Academic Press 2000
Schriftenreihe:	Information and computation 162
Schlagworte:	Konferenzschrift > Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!