Carregando...
Logic For Computer Science: Foundations Of Automatic Theorem Proving
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
John Wiley & Sons
1987
|
| LEADER | 00440nam a2200121 4500 | ||
|---|---|---|---|
| 082 | |a 005.131 | ||
| 100 | |a Gallier, Jean H | ||
| 245 | |a Logic For Computer Science: Foundations Of Automatic Theorem Proving |c Jean H Gallier |h [Text] | ||
| 260 | |b John Wiley & Sons |c 1987 | ||
| 300 | |a Paper back | ||
| 942 | |c BK | ||
| 999 | |c 83207 |d 83207 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_131000000000000 |7 0 |9 75450 |a SOCS |b SOCS |d 2015-06-11 |g 9.20 |l 0 |o 005.131 |p SOCS255 |r 2015-06-11 |w 2015-06-11 |y BK | ||