Handbook of Automated Reasoning

Handbook of Automated Reasoning

SFX

Hae kokoteksti

E-kirja

Robinson, Alan J.A ; Robinson, John Alan ; Voronkov, A. ; Voronkov, Andrei ; Voronkov, AndreÃ¦i

North-Holland 2001

Tallennettuna:

Kieli

englanti

Julkaisija

North-Holland, 2001

Aiheet

Information Technology → General and Others

ISBN

0-444-50813-9
9786612284946
1-282-28494-0
0-08-053279-9

Saatavuustiedot

Henkilökuntanäyttö