Theorem proving and logic programming selected papers from the Second International Symposium on Artificial Intelligence and Mathematics, Florida, USA, January 1992

Bibliographische Detailangaben

Körperschaft:	International Symposium on Artificial Intelligence and Mathematics (BerichterstatterIn)
Weitere Verfasser:	Kirchner, Helene (BerichterstatterIn), Lassez, Jean-Louis (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Basel Baltzer 1993
Schriftenreihe:	Annals of mathematics and artificial intelligence 8,3/4
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!