- 5 Résultats
prix le plus bas: € 44,98, prix le plus élevé: € 103,73, prix moyen: € 77,23
1
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - Fitting, Melvin
Commander
sur amazon.de
€ 66,33
Envoi: € 3,001
CommanderLien sponsorisé
Fitting, Melvin:

First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - Première édition

1990, ISBN: 9780387972336

Edition reliée

Springer, Gebundene Ausgabe, Auflage: 1, 257 Seiten, Publiziert: 1990-04-06T00:00:01Z, Produktgruppe: Buch, 2.14 kg, Verkaufsrang: 41433, Informatik, IT-Ausbildung & -Berufe, Computer & I… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) fachbuecher-weltversand
2
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - Fitting, Melvin
Commander
sur Achtung-Buecher.de
€ 101,90
Envoi: € 0,001
CommanderLien sponsorisé

Fitting, Melvin:

First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche

2020, ISBN: 0387972331

38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / gebraucht; sehr gut, [PU:Springer,]

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR, 61197 Florstadt
3
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - Fitting, Melvin
Commander
sur Achtung-Buecher.de
€ 69,23
Envoi: € 0,001
CommanderLien sponsorisé
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche

2020

ISBN: 0387972331

38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / 2, [PU:Springer,]

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR, 61197 Florstadt
4
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - Fitting, Melvin
Commander
sur buchfreund.de
€ 103,73
Envoi: € 2,901
CommanderLien sponsorisé
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche

2020, ISBN: 9780387972336

242 Seiten 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / Versand D: 2,90 EUR , [PU:Springer,]

Frais d'envoiVersandkosten innerhalb der BRD. (EUR 2.90) Mosakowski GbR, 61197 Florstadt
5
Commander
sur Biblio.co.uk
$ 48,50
(environ € 44,98)
Envoi: € 17,311
CommanderLien sponsorisé
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - Livres de poche

1990, ISBN: 9780387972336

Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01

Frais d'envoi EUR 17.31 Schwabe Books

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a first text in formal logic and as an introduction to automation issues, and is intended for those interested in computer science and mathematics at the beginning graduate level. The book begins with propositional logic, then treats first-order logic, and finally, first-order logic with equality. In each case the initial presentation is semantic: Boolean valuations for propositional logic, models for first-order logic, and normal models when equality is added. This defines the intended subjects independently of a particular choice of proof mechanism. Then many kinds of proof procedures are introduced: tableau, resolution, natural deduction, Gentzen sequent and axiom systems. Completeness issues are centered in a model existence theorem, which permits the coverage of a variety of proof procedures without repetition of detail. In addition, results such as compactness, interpolation, and the Beth definability theorem are easily established. Implementations of tableau theorem provers are given in Prolog, and resolution is left as a project for the student.

Informations détaillées sur le livre - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)


EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Version reliée
Livre de poche
Date de parution: 1990
Editeur: Springer

Livre dans la base de données depuis 2007-12-18T00:55:27+01:00 (Zurich)
Page de détail modifiée en dernier sur 2021-07-22T14:38:22+02:00 (Zurich)
ISBN/EAN: 0387972331

ISBN - Autres types d'écriture:
0-387-97233-1, 978-0-387-97233-6
Autres types d'écriture et termes associés:
Auteur du livre: fitting
Titre du livre: theorem proving, logic computer science


Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9781468403572 First-Order Logic and Automated Theorem Proving (Melvin Fitting)


< pour archiver...