| Shelfclass_id | 4.B.3 |
| Sortkey | MASLOV, S. YU |
| Authors | S. Yu. Maslov |
| Title | Theory of Deductive Systems and Its Applications |
| Publisher | MIT Press |
| Year | c1987 |
| Languages | eng |
| Isbn | 0262132230 |
| Series | MIT Press series in the foundations of computing |
| Description | x, 151 p. 24 cm |
| Record date | 20060713 |
| Location | Cambridge, Mass. |
| Keywords | Logic, Symbolic and mathematical, Algorithms, Machine theory, Artificial intelligence |
| Notes | Teoriëiìa deduktivnykh sistem i ee primeneniëiìa Translation of: Teoriya deduktivnykh system i yeyo primeneniya |