Computability and logic

Szerző: Cohen, Daniel E.
Megjelenés: 1987

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings

Megjelenés: 1987

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Megjelenés: 1996

Règles pour la direction de l'esprit

Szerző: Descartes, René (1596-1650)
Megjelenés: 1988

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : Proceedings

Megjelenés: 1984

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Megjelenés: 1994

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

Megjelenés: 1998

The logical basis for computer programming

Szerző: Manna, Zohar
Megjelenés: 1985
Kapcsolódó cím: Deductive reasoning

Temporal logic of programs

Szerző: Kröger, Fred (1945-)
Megjelenés: 1987

Logics for artificial intelligence

Szerző: Turner, Raymond
Megjelenés: 1985

The logic of information structures

Szerző: Wansing, Heinrich
Megjelenés: 1993

Mathematical logic and programming languages

Megjelenés: 1985

The cosmical knowledge and the human computer : Excerpts and supplements

Szerző: Costescu, Ion
Megjelenés: 1996

Recursive function theory and logic

Szerző: Yasuhara, Ann
Megjelenés: 1971

An introduction to mathematical logic and type theory : to truth through proof

Szerző: Andrews, Peter Bruce (1937-)
Megjelenés: 1986

Jan Łukasiewicz : Selected works

Megjelenés: 1970

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Megjelenés: 1992

Logic for problem solving

Szerző: Kowalski, Robert
Megjelenés: 1979

Logic : A foundation for computer science

Szerző: Sperschneider, Volker (1952-)
Megjelenés: 1991

Solving higher-order equations : From logic to programming

Szerző: Prehofer, Christian
Megjelenés: 1998