本文に飛ぶ

年 〜
年

検索結果 9 件

Optimization and computational logic

Optimization and computational logic
紙図書
Ken McAloon, Carol TretkoffWileyc1996
全国の図書館
  • 著者標目McAloon, Kenneth Tretkoff, Carol

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)
紙図書
Springer1981.<MA41-184>
国立国会図書館
  • 著者標目Berline, C. (Chantal) McAloon, Kenneth. Ressayre, J.-P. (Jean-Pierre...

Studies in complexity theory :pbk

Studies in complexity theory :pbk
紙図書
Ronald V. Book (editor)Pitman1986
全国の図書館
  • 著者標目Book, Ronald V. Ko, Ker-I Mahaney, Stephen R McAloon, Kenneth

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

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｃｏｍｐｔｅｓ　ｒｅｎｄｕｓ　ｄ’ｕｎｅ　ａｃｔｉｏｎ　ｔｈｅ´ｍａｔｉｑｕｅ，　ｐｒｏｇｒａｍｍｅ´ｅ　ｄｕ　Ｃ．Ｎ．Ｒ．Ｓ．　ｓｕｒ　ｌａ　Ｔｈｅ´ｏｒｉｅ　ｄｅｓ　Ｍｏｄｅ｀ｌｅｓ　ｅｔ　ｌ’Ａｒｉｔｈｍｅ´ｔｉｑｕｅ，　Ｐａｒｉｓ，　Ｆｒａｎｃｅ，　１９７９／８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)
紙図書
ｅｄｉｔｅｄｂｙＣ．Ｂｅｒｌｉｎｅ，Ｋ．ＭｃＡｌｏｏｎ，ａｎｄＪ．－Ｐ．Ｒｅｓｓａｙｒｅ． ; ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８１．
全国の図書館
  • 著者標目Ｂｅｒｌｉｎｅ, Ｃｈａｎｔａｌ． ＭｃＡｌｏｏｎ, Ｋｅｎｎｅｔｈ． Ｒｅｓｓａｙｒｅ, Ｊｅａｎ－Ｐｉｅｒｒｅ Ｃｅｎｔｒｅ...

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
紙図書
edited by C. Berline, K. McAloon, and J.-P. RessayreSpringer-Verlag1981
全国の図書館
  • 著者標目Berline, C. (Chantal) McAloon, Kenneth Ressayre, J. P. Centre nation...

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

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
紙図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonNorth-Holland Pub. Co.1979
全国の図書館
  • 著者標目Logic Colloquium Boffa, Maurice Dalen, D. van (Dirk) McAloon, Kenneth

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

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
紙図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonUT Back-in-Print Servicec1979
全国の図書館
  • 著者標目Logic Colloquium Boffa, Maurice Dalen, D. van (Dirk) McAloon, Kenneth

Calculus

Calculus
紙図書
Kenneth McAloon, Anthony Tromba ; with the assistance of Jerrold Marsden ... [et al.]Harcourt Brace Jovanovichc1972
全国の図書館
  • 著者標目McAloon, Kenneth Tromba, Anthony Marsden, Jerr...

Some applications of Cohen's method

Some applications of Cohen's method
紙図書
by Kenneth Walter McAloonUniversity Microfilms1966
全国の図書館
  • 著者標目McAloon, Kenneth Walter

検索結果は以上です。

RSS