Walther, Christoph (Autor)
A Many-Sorted Calculus Based on Resolution and Paramodulation
Many-Sorted Calculus Based on Resolution and Paramodulation
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4832-5893-5 |
|---|---|
| Seitenzahl | 170 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 7893 Kbytes |