• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (12)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 12 of 12 1 Searchable Online Edition Universität Des Saarlandes; Fachrichtung Informatik; Claus-peter Wirth In: http://arxiv.org/pdf/0902.3749v1.pdf (2007) BASE Show details 2 Computational Aspects of Non-Projective Dependency Grammars Fachrichtung Informatik; Robert Grabowski; Betreuung Durch Marco Kuhlmann In: http://www.ps.uni-sb.de/Papers/abstracts/grabowski2006computational.pdf (2006) BASE Show details 3 Computational Aspects of Non-Projective Dependency Grammars Fachrichtung Informatik; Robert Grabowski; Betreuung Durch Marco Kuhlmann In: http://www.tcs.ifi.lmu.de/~grabow/papers/grabowski2006_computational.pdf (2006) BASE Show details 4 Discourse phenomena in tutorial dialogs on mathematical proofs Christoph Benzmüller; Armin Fiedler; Malte Gabsdil... In: http://www.ags.uni-sb.de/~chris/papers/W25.pdf (2003) BASE Show details 5 Tutorial dialogs on mathematical proofs Christoph Benzmüller; Armin Fiedler; Malte Gabsdil... In: http://www.ags.uni-sb.de/~chris/papers/W20.pdf (2003) BASE Show details 6 Austrian Society for Cybernetic Studies, 2004. Representation of Mathematical Concepts for Inferencing and for Presentation Purposes Universität Des Saarlandes; Fachrichtung Informatik; Helmut Horacek... In: http://www.ags.uni-sb.de/~afiedler/pubs/papers/cybsys-04.pdf BASE Show details 7 Easily Accessible Discussion of the Method of Descente Infinie and Fermat’s Only Explicitly Known Proof Universität Des Saarlandes; Fachrichtung Informatik; Descente Infinie... In: http://arxiv.org/pdf/0902.3623v1.pdf (902) BASE Show details 8 Transformation-based Interpretation of Implicit Parallel Structures: Reconstructing the meaning of vice versa and similar linguistic operators Helmut Horacek Fachrichtung Informatik; Universität Des Saarlandes In: http://acl.ldc.upenn.edu/P/P06/P06-2049.pdf BASE Show details 9 Fault-Tolerant Context-Based Interpretation of Mathematical Formulas Helmut Magdalena Wolska; Fachrichtung Informatik; Fachrichtung Computerlinguistik In: http://www.ijcai.org/papers/post-0418.pdf BASE Show details 10 Tutorial dialogs on mathematical proofs Christoph Benzmüller; Armin Fiedler; Malte Gabsdil... In: http://www.activemath.org/%7Etsovaltzi/ijcai03-KRAREL.pdf BASE Show details 11 on Magdalena Wolska; Bao Quoc Vo; Dimitra Tsovaltzi... In: http://goanna.cs.rmit.edu.au/~vqbao/pubs/lrec2004.pdf BASE Show details 12 Towards a Principled Approach to Tutoring Mathematical Proofs Christoph Benzmüller; Armin Fiedler; Malte Gabsdil... In: http://www.ags.uni-sb.de/~chris/papers/W26.pdf BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 12 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0