Logic And Declarative Language Ebook Tooltip Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.

Name: Logic And Declarative Language
Author: M. Downward

Auteur: M. Downward

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: M. Downward M. Downward

Co-auteur: Downward M.

Engels
E-book
9781135735852
14 januari 2004
384 pagina's
Adobe ePub

Alle productspecificaties

Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

Productspecificaties

Inhoud

Taal: en
Bindwijze: E-book
Oorspronkelijke releasedatum: 14 januari 2004
Aantal pagina's: 384
Ebook Formaat: Adobe ePub
Illustraties: Nee

Betrokkenen

Hoofdauteur: M. Downward
Tweede Auteur: M. Downward
Co Auteur: Downward M.
Hoofduitgeverij: Routledge

Lees mogelijkheden

Lees dit ebook op: Desktop (Mac en Windows) | Kobo e-reader | Android (smartphone en tablet) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Studieboek: Nee
Verpakking hoogte: 13 mm

EAN

EAN: 9781135735852

Je vindt dit artikel in

Categorieën: Religie, Spiritualiteit & Filosofie

Filosofie

Logica

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Ebook
Beschikbaarheid: Leverbaar
Stroming of stijl: Logica

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Kies je bindwijze (3)

E-book €49,99 Paperback €47,99 Hardcover €156,99

Prijsinformatie en bestellen

De prijs van dit product is 49 euro en 99 cent.

Direct beschikbaar

Verkoop door bol

Logic And Declarative Language

49,99 verkoop door: bol.com

Ebook

E-book is direct beschikbaar na aankoop
E-books lezen is voordelig
Dag en nacht klantenservice
Veilig betalen

Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.

Zie ook de retourvoorwaarden