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
  • Author HeadingMcAloon, 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)
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
  • Author HeadingBook, Ronald V. Ko, Ker-I Mahaney, Stephen R McAloon, Kenneth

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

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

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
  • Author HeadingBerline, 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
Paper図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonNorth-Holland Pub. Co.1979
Other Libraries in Japan
  • Author HeadingLogic 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
Paper図書
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloonUT Back-in-Print Servicec1979
Other Libraries in Japan
  • Author HeadingLogic Colloquium Boffa, Maurice Dalen, D. van (Dirk) McAloon, Kenneth

Calculus

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

Some applications of Cohen's method

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

Reached to the end of result.

RSS