Name: First-Order Logic and Automated Theorem Proving
Price: 973.95 DKK
Availability: InStock
Author: Melvin Fitting
ISBN: 9781461275152

First-Order Logic and Automated Theorem Proving af Melvin Fitting

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
973,95 kr.

Bag om First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

Vis mere

Sprog:
Engelsk

ISBN:
9781461275152

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
326

Udgivet:
26. juni 2013

Udgave:
219962

Størrelse:
170x244x22 mm.

Vægt:
592 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 14. november 2024

Normalpris

BLACK NOVEMBER
973,95 kr. + Fragt
~~973,95 kr.~~

Medlemspris

923,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Melvin Fitting

Vis alle bøger af Melvin Fitting

Beskrivelse af First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

Brugerbedømmelser af First-Order Logic and Automated Theorem Proving

Andre købte også..

Find lignende bøger

Bogen First-Order Logic and Automated Theorem Proving findes i følgende kategorier:

Business og læring > Computer og IT

First-Order Logic and Automated Theorem Proving - Melvin Fitting - Bog

Bag om Melvin Fitting

Beskrivelse af First-Order Logic and Automated Theorem Proving

Brugerbedømmelser af First-Order Logic and Automated Theorem Proving

Gør som tusindvis af andre bogelskere