-
1
Optimization and computational logic
Veröffentlicht 1996Publisher description
Table of Contents
Inhaltsverzeichnis
Buch -
2
Model Theory and Arithmetic Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Veröffentlicht 1981DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext
Elektronisch E-Book