Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
international context » international center, international congress, international computer
methods decision » methods design, ethics decision, methods session
context methods » context method, content methods, concept methods
decision get » decisions get, decision agent, decision gate
international context » international center, international congress, international computer
methods decision » methods design, ethics decision, methods session
context methods » context method, content methods, concept methods
decision get » decisions get, decision agent, decision gate
1
Wydane 2005
Spis treści:
“... of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic -- A Tableau-Based Decision Procedure...”Dokumenty pełnotekstowe
Elektroniczne
E-book
