Войти
Нет соединения — показаны сохранённые данные

Computational aspects of an order-sorted logic with term declarations

Computational aspects of an order-sorted logic with term declarations

Manfred Schmidt-Schauss

Войти и добавить на полку

Назад на полку

Похожие книги

Mathematical logic
Mathematical logic
R. L. Goodstein
 Symbolic logic
Symbolic logic
Irving Marmer Copi
 Symbolic logic
Symbolic logic
Richmond H. Thomason
 Mathematical logic
Mathematical logic
George J. Tourlakis
 Logic and data bases
Logic and data bases
Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977.