Principles of Logic and Logic Programming

Main
Science (General)
Computers - Programming
Principles of Logic and Logic...

Principles of Logic and Logic Programming

G. Metakides and A. Nerode (Eds.)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Science (General)
Computers - Programming

Tahun:

1996

Penerbit:

North Holland

Bahasa:

english

Halaman:

1

ISBN 13:

9780444816443

Nama seri:

Studies in Computer Science and Artificial Intelligence 13

File:

PDF, 2.99 MB

IPFS:

,

english, 1996

Mengunduh (pdf, 2.99 MB)

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Arindama Singh — Logics for Computer Science, 2nd Edition

Gallier J. — Logic for Computer Science

Jean H. Gallier — Logic for computer science: foundations of automatic theorem proving

Alan Bundy — The computer modelling of mathematical reasoning

John J. Kelly — The Essence of Logic

Mordechai Ben-Ari — Mathematical logic for computer science

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Steve Reeves, Michael Clarke — Logic for Computer Science

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning, vol.2

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Koichi Furukawa (ed.) — Logic programming: proceedings of the 8 international conference

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

David H. D. Warren, Peter Szeredi (ed.) — Logic Programming: Proceedings of the The 7th International Conference

G. Metakides, A. Nerode — Principles of Logic and Logic Programming

Ph Jorrand, V. Sgurev — Artificial Intelligence IV. Methodology, Systems, Applications

Vijay Chandru, John Hooker(auth.) — Optimization Methods for Logical Inference

Peter Flach — Simply Logical: Intelligent Reasoning by Example

Jean H. Gallier — Logic for Computer Science: Foundations of Automatic Theorem Proving

D M Gabbay, O T Rodrigues — Elementary Logic with Applications: A Procedural Perspective for Computer Scientists

Ricardo Caferra(auth.) — Logic for Computer Science and Artificial Intelligence

Valentin Goranko — Logic as a Tool: A Guide to Formal Logical Reasoning

Mordechai Ben-Ari — Mathematical Logic for Computer Science

Mordechai Ben-Ari — Mathematical Logic for Computer Science

Melvin Fitting — First-Order Logic and Automated Theorem Proving

Melvin Fitting — First-Order Logic and Automated Theorem Proving

Blackburn P., Bos J. — Representation and inference for natural language: a first course in computational semantics

D M Gabbay, O T Rodrigues — Elementary Logic with Applications: A Procedural Perspective for Computer Scientists

Mordechai Ben-Ari — Mathematical logic for computer science

Hans de Nivelle (auth.) — Collegium Logicum

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.) — Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Istilah kunci