Jump to main content

yr 〜
yr

Search results 9

Optimization and computational logic

Optimization and computational logic
Paper図書
Ken McAloon, Carol TretkoffWileyc1996
Other Libraries in Japan

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 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)

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 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)
Paper図書
Springer1981.<MA41-184>
National Diet Library
  • Author HeadingBerline, C. (Chantal) McAloon, Kenneth. Ressayre, J.-P. (Jean-Pierre)...

Studies in complexity theory :pbk

Studies in complexity theory :pbk
Paper図書
Ronald V. Book (editor)Pitman1986
Other Libraries in Japan

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｃｏｍｐｔｅｓ　ｒｅｎｄｕｓ　ｄ’ｕｎｅ　ａｃｔｉｏｎ　ｔｈｅ´ｍａｔｉｑｕｅ，　ｐｒｏｇｒａｍｍｅ´ｅ　ｄｕ　Ｃ．Ｎ．Ｒ．Ｓ．　ｓｕｒ　ｌａ　Ｔｈｅ´ｏｒｉｅ　ｄｅｓ　Ｍｏｄｅ｀ｌｅｓ　ｅｔ　ｌ’Ａｒｉｔｈｍｅ´ｔｉｑｕｅ，　Ｐａｒｉｓ，　Ｆｒａｎｃｅ，　１９７９／８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｃｏｍｐｔｅｓ　ｒｅｎｄｕｓ　ｄ’ｕｎｅ　ａｃｔｉｏｎ　ｔｈｅ´ｍａｔｉｑｕｅ，　ｐｒｏｇｒａｍｍｅ´ｅ　ｄｕ　Ｃ．Ｎ．Ｒ．Ｓ．　ｓｕｒ　ｌａ　Ｔｈｅ´ｏｒｉｅ　ｄｅｓ　Ｍｏｄｅ｀ｌｅｓ　ｅｔ　ｌ’Ａｒｉｔｈｍｅ´ｔｉｑｕｅ，　Ｐａｒｉｓ，　Ｆｒａｎｃｅ，　１９７９／８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)
Paper図書
ｅｄｉｔｅｄｂｙＣ．Ｂｅｒｌｉｎｅ，Ｋ．ＭｃＡｌｏｏｎ，ａｎｄＪ．－Ｐ．Ｒｅｓｓａｙｒｅ． ; ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８１．
Other Libraries in Japan

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 : Berlin : New York

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 : Berlin : New York
Paper図書
edited by C. Berline, K. McAloon, and J.-P. RessayreSpringer-Verlag1981
Other Libraries in Japan

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Paper図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonNorth-Holland Pub. Co.1979
Other Libraries in Japan

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Paper図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonUT Back-in-Print Servicec1979
Other Libraries in Japan

Calculus

Calculus
Paper図書
Kenneth McAloon, Anthony Tromba ; with the assistance of Jerrold Marsden ... [et al.]Harcourt Brace Jovanovichc1972
Other Libraries in Japan

Some applications of Cohen's method

Some applications of Cohen's method
Paper図書
by Kenneth Walter McAloonUniversity Microfilms1966
Other Libraries in Japan

Reached to the end of result.

RSS