Name: Logic for Computer Scientists
Price: 634.95 DKK
Availability: InStock
Author: Uwe Schoening
ISBN: 9780817647629

Logic for Computer Scientists af Uwe Schoening

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
634,95 kr.

Bag om Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

Vis mere

Sprog:
Engelsk

ISBN:
9780817647629

Forlag:
Birkhauser Boston Inc

Indbinding:
Paperback

Sideantal:
168

Udgivet:
11. januar 2008

Udgave:
1198922008

Størrelse:
162x236x12 mm.

Vægt:
320 g.

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

På lager

Normalpris

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

Medlemspris

584,95 kr.

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

Bag om Uwe Schoening

Vis alle bøger af Uwe Schoening

Beskrivelse af Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

Brugerbedømmelser af Logic for Computer Scientists

Andre købte også..

Find lignende bøger

Bogen Logic for Computer Scientists findes i følgende kategorier:

Business og læring > Computer og IT

Logic for Computer Scientists - Uwe Schoening - Bog

Bag om Uwe Schoening

Beskrivelse af Logic for Computer Scientists

Brugerbedømmelser af Logic for Computer Scientists

Gør som tusindvis af andre bogelskere