Thirty five years of automating mathematics

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Kamareddine, Fairouz Dib (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht u.a. Kluwer Acad. Publ. 2003
Schriftenreihe:	Applied logic series 28
Schlagworte:	Logic, symbolic and mathematical > Mathematics > Data processing
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	VIII, 318 S. : Ill.
ISBN:	1402016565