Search results for 'Mateja Jamnik' (try it on Scholar)

8 found
Sort by:
  1. Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.score: 240.0
    Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Daniel Winterstein, Alan Bundy & Mateja Jamnik (2004). On Differences Between the Real and Physical Plane. In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. 29--31.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Mateja Pšunder (2005). Identification of Discipline Violations and its Role in Planning Corrective and Preventive Discipline in School. Educational Studies 31 (3):335-345.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Mateja Kos Koklic, Monika Kukar-Kinney & Irena Vida (forthcoming). Three-Level Mechanism of Consumer Digital Piracy: Development and Cross-Cultural Validation. Journal of Business Ethics.score: 3.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Mateja Habinc (2004). Ne le Rožmarin Za Spomin: O Spominskih Predmetih in Njihovem Shranjevanju. Oddelek Za Etnologijo in Kulturno Antropologijo, Filozofska Fakulteta, Universza V Ljubljani.score: 3.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Nebojša Mudri, Ljudevit Hanžek, Tina Marasović, Marijana Filipeti, Marija Lamot, Lovre Grisogono, Nikola Erceg, Mateja Borgudan, Ana Vračar, Milijana Đerić, Boško Pešić, Tomislav Petković, Ivana Zagorac, Ivana Skuhala Karasman, Marija Selak, Željko Maurović, Hrvoje Jurić & Iris Vidmar (2011). Filozofski Život. Filozofska Istrazivanja 30 (4):715-742.score: 3.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Mateja Pšunder (2010). The Identification of Teasing Among Students as an Indispensable Step Towards Reducing Verbal Aggression in Schools. Educational Studies 36 (2):217-228.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Lino Veljak, Martina Žeželj, Mateja Donković, Iva Rinčić Lerga, Marita Brčić & Snježan Hasnaš (2007). Recenzije. Filozofska Istrazivanja 27 (2):465-481.score: 3.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation