Cargando…

The logical basis for computer programming

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Manna, Zohar
Otros Autores:	Waldinger, Richard (, coaut.)
Formato:	Libro
Publicado:	Reading, Mass. : Addison-Wesley, c1985
Materias:	Programación (Computadoras) Lógica matemática

Ejemplares similares

The logical basis for computer programming
por: Manna, Zohar
Publicado: (1990)

Introduction to logic programming
por: Hogger, Christopher John
Publicado: (1984)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

Logic programming : systematic program development /
por: Deville, Yves, 1960-
Publicado: (1990)

The haskell road to logic, maths and programming /
por: Doets, H. C.‏
Publicado: (2012)

Computability and logic
por: Boolos, George S.
Publicado: (1989)

Logic in computer science : modelling and reasoning about systems /
por: Huth, Michael, 1962-
Publicado: (2004)

Handbook of logic in computer science /
Publicado: (1992)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Intermediate logic
por: Bostock, David
Publicado: (1997)

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /
Publicado: (1996)

Semantics and logics of computation /
Publicado: (1997)

What is mathematical logic
Publicado: (1990)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

First-order logic /
por: Smullyan, Raymond M.
Publicado: (1995)

Handbook of mathematical logic
Publicado: (1977)

Tern logic with choice operator
por: Hermes, Hans
Publicado: (1970)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

Philosophical problems of many-valuet logic
por: Zinov'ev A A
Publicado: (1963)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

From logic programming to Prolog /
por: Apt, Krzysztof R., 1949-
Publicado: (1997)

Programming with constraints : an introduction /
por: Marriott, Kim
Publicado: (1998)

Introduction to scientific computing : a Matrix-Vector approach using MATLAB
por: Van Loan, Charles F.
Publicado: (1997)

An introduction to logic programming through Prolog
por: Spivey, J. Michael
Publicado: (1996)

Genetic programming : on the programming of computers by means of natural selection
por: Koza, John R.
Publicado: (1992)

Using computers : programming and problem solving
por: Elgarten, Gerald H.
Publicado: (1984)

Cómo programar un control numérico
por: Ferré Masip, Rafael
Publicado: (1988)

Mathematical logic for computer science /
por: Lu, Chung-wan
Publicado: (1989)

Lógica programable : ejercicios resueltos con OrCAD/PLD
por: Barrón Ruiz, Mariano
Publicado: (1994)

Programming in the 1990s : an introduction to the calculation of programs
por: Cohen, Edward
Publicado: (1990)

The art of computer programming
por: Knuth, Donald Ervin, 1938-
Publicado: (1973)

The science of programming
Publicado: (1981)

Programming Perl
por: Wall, Larry
Publicado: (1996)

Systematic programming : an introduction /
por: Wirth, Niklaus
Publicado: (1973)

Foundations of inductive logic programming /
por: Nienhuys-Cheng, S. -H. (Shan-Hwei), 1943-
Publicado: (1997)

A discipline of programming /
por: Dijkstra, Edsger W.
Publicado: (1976)

A method of programming /
por: Dijkstra, Edsger W.
Publicado: (1988)

Computer problem solving
por: Watkins, R. P.
Publicado: (1974)

Introduction to computer science
por: Bartee, Thomas C.
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_bjlstfcbbalchcfgfermrco7fm