Automated practical reasoning algebraic approaches

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Pfalzgraf, Jochen (HerausgeberIn), Wang, Dongming (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Wien u.a. Springer-Verl. 1995
Schriftenreihe:	Texts and monographs in symbolic computation
Schlagworte:	Automatic theorem proving > Practical reason > Reasoning > Automatisches Beweisverfahren
Online Zugang:	Inhaltstext Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!