Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  1. Boeken
  2. Bedrijf & Technologie
  3. Informatica
  4. AI
  5. Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Dissertationsschrift

Joachim F. Schreiber
Paperback | Duits | Informatik | nr. 1
€ 47,95
+ 95 punten
Levertermijn 1 à 4 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
174
Taal:
Duits
Reeks:
Reeksnummer:
nr. 1

Eigenschappen

Productcode (EAN):
9783831683765
Uitvoering:
Paperback
Afmetingen:
145 mm x 205 mm
Gewicht:
225 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 95 punten op je klantenkaart van Standaard Boekhandel
CADEAU

Onze must-reads: hét eindejaarsgeschenk

Vul een gat in iemands lectuur
CADEAU
GDABD Must-read
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.