Automated Theorem Proving
ISBN
9780387950754
Uitgever
Springer-Verlag New York Inc.
Druk vanaf
1e
Verschenen
01-01-2000
Taal
Engels
Bladzijden
231 pp.
Bindwijze
Hardcover
Genre
Geografie & Landbouw
  • 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 theorem proving and resolution-refutation theorem proving.
€201,90
Exemplaren:
Nieuw
Prijs:
€ 201,90
Verkrijgbaar in
Centraal landelijk magazijn
Voorraad:
Levertijd:
Afwijkende levertijd: 5 tot 7 werkdagen.

Bestellen voor afhalen, zónder account

Indien u dit boek wilt afhalen in de winkel, bieden we nu ook de mogelijkheid het boek direct te bestellen zonder account. U vult hieronder uw gegevens in en de boekhandel neemt contact op zodra het boek voor u klaarligt.

  • De reCAPTCHA is niet geselecteerd
* 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.nl
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 21.00 besteld, de volgende dag bezorgd
Volg uw bestelling via Track & Trace van PostNL
Ruim 180 aangesloten Libris- en Blz.-boekhandels.
pro-mbookslibr2 : libris