Harrie De Swart

Automated reasoning with analytic tableaux and related methods

Harrie De Swart

Vyprodáno

Harrie De Swart Automated reasoning with analytic tableaux and related methods

4,3

Relational methods in computer science

Harrie De Swart

Vyprodáno

Harrie De Swart Relational methods in computer science

4,3

Theory and applications of relational structures as knowledge instruments

Harrie De Swart

Vyprodáno

Harrie De Swart Theory and applications of relational structures as knowledge instruments

4,3

Relational and algebraic methods in computer science

Harrie De Swart

Vyprodáno

Harrie De Swart Relational and algebraic methods in computer science

4,3

Philosophical and Mathematical Logic

Harrie De Swart

Vyprodáno

Harrie De Swart Philosophical and Mathematical Logic

4,0