Prikazuje se 1 - 3 od 3 za pretraživanje: 'Stephan, Werner', Upit obrađen za: 0.02s
Slika naslovnice
Impresum 2009
“...Stephan, Werner edt...”
Izdanje: 8., vollständig neu überarbeitete Aufl
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Related Subjects

Automatic theorem proving Automation Knjižnice Logic, Symbolic and mathematical Reasoning Technique