Yazar
Jacques Calmet
8 cilt bulundu.
Jacques Calmet · Springer
269 sayfa · 2006
Logique symbolique et mathématique / Symbolic and mathematical Logic / Congresses / Intelligence artificielle / Artificial intelligence
Jacques Calmet · Springer-Verlag
415 sayfa · 1986
Computer algorithms / Congresses / Coding theory / Data processing / Algebra
Jacques Calmet · Sine nomine
27 sayfa · 1969
Feynman diagrams / Radiative corrections / Renormalization (Physics)
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · Springer London, Limited
Sayfa sayısı yok · 2006
Artificial intelligence / Logic, symbolic and mathematical / Automatic theorem proving
Serge Autexier, Jacques Calmet, David Delahaye, P. D. F. Ion, Laurence Rideau · Springer
Sayfa sayısı yok · 2010
Kategori yok