Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Second-order Quantifier Elimination 1

bokomslag Second-order Quantifier Elimination

Data & IT

Second-order Quantifier Elimination

Dov Gabbay • Renate A Schmidt • Andrzej Szalas

389:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

2008

Författare: Dov Gabbay, Renate A Schmidt, Andrzej Szalas
Format: Trade paperback
ISBN: 9781904987567
Språk: Engelska
Utgivningsdatum: 2008-04-17
Förlag: College Publications