Author books / Книги автора Gouveia Paula,Coniglio Marcelo,Sernadas Cristina,Carnielli Walter,Gabbay Dov M » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Gouveia Paula,Coniglio Marcelo,Sernadas Cristina,Carnielli Walter,Gabbay Dov M

book Analysis and synthesis of logics: How to cut and paste reasoning systems

Analysis and synthesis of logics: How to cut and paste reasoning systems

pdf

Author: Gouveia Paula, Coniglio Marcelo, Sernadas Cristina, Carnielli Walter, Gabbay Dov M
Language: English
Year: 2008

00

30.01.2024

0

0