Подробная информация о книге «Computational Aspects of an Order-Sorted Logic with Term Declarations Manfred Schmidt-Schauß». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Computational Aspects of an Order-Sorted Logic with Term Declarations Manfred Schmidt-Schauß»
Книга "Computational Aspects of an Order-Sorted Logic with Term Declarations".
| Полное название книги | Manfred Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations |
| Автор | Manfred Schmidt-Schauß |
| Ключевые слова | компьютерные технологии, разработка и алгоритмы |
| Категории | Компьютеры и Internet |
| ISBN | 9783540517054 |
| Издательство | Springer Nature Customer Service Center LLC |
| Год | 1989 |
| Название транслитом | computational-aspects-of-an-order-sorted-logic-with-term-declarations-manfred-schmidt-schau |
| Название с ошибочной раскладкой | computational aspects of an order-sorted logic with term declarations manfred schmidt-schauß |