Načítá se...
Logic for computer science : Foundations of Automatic Theorem proving/
| Hlavní autor: | |
|---|---|
| Médium: | Printed Book |
| Jazyk: | English |
| Vydáno: |
John Wiley & Sons,
1987.
|
University of Calicut
| Signatura: |
68 GAL |
|---|---|
| Jednotka | Neznámá aktuální dostupnost |