First-Order Logic and Automated Theorem Proving

SPRINGER-VERLAG NEW YORK INC.
First-Order Logic and Automated Theorem Proving

Beste pris fra kr 971 og finnes i 1 butikk.

Lignende produkter

Spill Brass Birmingham

Den fantastiske bus av Jacob Martin Strid

Organisasjon og ledelse

Intensivsykepleie av Tove Gulbrandsen, Dag-Gunnar Stubberud

Priser

AdlibrisFirst-Order Logic and Automated Theorem Proving

På lager

Prisvarsel

Meld deg opp til prisvarsel og få beskjed med en gang prisen synker.

Prisgrense

kr

E-post

Jeg godtar Godpris.no sine brukervilkår.

Prishistorikk

Strekkoder

GTIN

9781461275152