VBoekbestellingen gratis thuis bezorgd vanaf 15,- 

VGratis afhalen in de boekhandel

 VBinnen 14 dagen gratis retour bij ruim 100 boekhandels

Automated Theorem Proving
ISBN
9780387950754
Uitgever
Springer-Verlag GmbH
Druk vanaf
1e
Verschenen
01-01-2000
Bindwijze
Hardcover
Genre
Technische wetenschappen
  • Share
  • Share
  • Share
  • Share

Automated Theorem Proving

Theory and Practice

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree the
€211,95
Exemplaren:
Nieuw

Prijs:
€ 211,95
Verkrijgbaar in
Centraal landelijk magazijn
Voorraad:
-
Levertijd:
Afwijkende levertijd: 4 tot 6 werkdagen.
* Voorraad uit het 'Centraal landelijk magazijn' is leverbaar vanuit een centraal logistiek centrum in Nederland, hiervandaan wordt het artikel naar de klant of de boekhandel gestuurd. De getoonde voorraad in de boekhandel wordt meerdere malen per dag bijgewerkt. Het kan echter voorkomen dat een artikel in de tussentijd uitverkocht is. Wilt u zeker weten dat een boek op voorraad is, verzoeken wij u contact op te nemen met de boekhandel.

Loading...

.
Waarom Libris
Boekbestellingen vanaf € 15,- GRATIS thuisbezorgd.
Kies uit meer dan een miljoen artikelen, waaronder ruim 25.000 Nederlandse ebooks.
Thuis bestellen en bezorgen of afhalen en betalen in de boekhandel.
Ruim 85.000 boeken op werkdagen voor 23.00 besteld, de volgende dag bezorgd
Volg uw bestelling via Track & Trace van PostNL
Bijna 100 aangesloten kwaliteitsboekhandels.
pro-mbookslibr3 : libris