Searching for authors named "Mateja Jamnik" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Analogy and Automated Reasoning
- …THE UNIVERSITY OF BIRMINGHAM Analogy and Automated Reasoning Mateja Jamnik CSRP-99-14 June 1999…
- Add To MetaCart
-
UG and MSc Project Suggestion: Model Checking
- …UG and MSc Project Suggestion: Model Checking Mateja Jamnik Course Suitability: Any Languages and…
- Add To MetaCart
-
LearnΩmatic: System Description
- …Learn 9 999 System Description Mateja Jamnik 1;2 , Manfred Kerber 2 , and Martin Pollet 3;2 1…
- Add To MetaCart
-
Automation of Diagrammatic Reasoning
- …Automation of Diagrammatic Reasoning Mateja Jamnik, Alan Bundy, Ian Green Department…
- Cited by 5 (2 self) – Add To MetaCart
-
On Automating Diagrammatic Proofs of Arithmetic Arguments
- …On Automating Diagrammatic Proofs of Arithmetic Arguments Mateja Jamnik, Alan Bundy and Ian Green…
- Cited by 14 (2 self) – Add To MetaCart
-
Verification of Diagrammatic Proofs
- …Verification of Diagrammatic Proofs Mateja Jamnik, Alan Bundy, Ian Green Department of Artificial…
- Cited by 1 (0 self) – Add To MetaCart
-
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
- … , Alan Bundy 1 , and Mateja Jamnik 2 1 Division of Informatics, University of Edinburgh, 80 South…
- Cited by 1 (0 self) – Add To MetaCart
-
Automatic learning in proof planning
- … Automatic Learning in Proof Planning Mateja Jamnik1;2 and Manfred Kerber2 and Martin Pollet3…
- Cited by 7 (2 self) – Add To MetaCart
-
Automatic learning of proof methods in proof planning
- …Learning Proof Methods in Proof Planning Mateja Jamnik, Manfred Kerber and Christoph Benzmüller…
- Cited by 8 (4 self) – Add To MetaCart
-
Towards Learning New Methods in Proof Planning
- …THE UNIVERSITY OF BIRMINGHAM Towards Learning New Methods in Proof Planning Mateja Jamnik, Manfred…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
