Computers and languages theory and practice

por Nijholt, Anton, 1946-
Publicado 1988

Artificial and human intelligence edited review papers presented at the International NATO Symposium on Artificial and Human Intelligence ..

Publicado 1984

Connectionism in perspective

Publicado 1989

Automated theorem proving : a logical basis

por Loveland, Donald W.
Publicado 1978

Flexible manufacturing systems methods and studies

Publicado 1986

Mathematical planning of structural decisions

por Kornai, János
Publicado 1967

An econometric model of the United States, 1929-1952

por Klein, Lawrence Robert
Publicado 1969

Group theory the application to quantum mechanics

por Meijer, Paul Herman Ernst, 1921-
Publicado 1962

Descriptive set theory

por Moschovakis, Yiannis N.
Publicado 1980

Outlines of a formalist philosophy of mathematics

por Curry, Haskell B. 1900-1982
Publicado 1958

Intuitionism and proof theory proceedings of the summer conference at Buffalo N.Y. 1968

Publicado 1970

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

Publicado 1977

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Publicado 1989

Recursive functionals

por Sanchís, Luis E.
Publicado 1992

Equivalents of the axiom of choice, II

por Rubin, Herman
Publicado 1985

Classical recursion theory the theory of functions and sets of natural numbers

por Odifreddi, Piergiorgio, 1950-
Publicado 1989

Complete theories

por Robinson, Abraham, 1918-1974
Publicado 1956

Quantum particle dynamics

por McConnell, J.
Publicado 1960

Mathematical logic and foundations of set theory proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968

Publicado 1970

Proceedings of the Second Scandinavian Logic Symposium

Publicado 1971