Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Hits 1 – 14 of 14

1	Deutsches Rechtswörterbuch : Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 3
	Springer-Verlag GmbH; Heidelberger Akademie der Wissenschaften. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2020
	DNB Subject Category Language
	Show details

2	Puzzles in Logic, Languages and Computation : The Red Book
	Radev, Dragomir; Pustejovsky, James; Springer-Verlag. - Berlin : Springer Berlin, 2015
	Leibniz-Zentrum Allgemeine Sprachwissenschaft
	Show details

3	Puzzles in Logic, Languages and Computation : The Green Book
	Radev, Dragomir; Pustejovsky, James; Springer-Verlag. - Berlin : Springer, 2015
	Leibniz-Zentrum Allgemeine Sprachwissenschaft
	Show details

4	The Answer Validation ProdicosAV System dedicated to French
	Jacquin, Christine; Monceaux, Laura; Desmontils, Emmanuel
	In: Proceedings of Evaluating Systems for Multilingual and Multimodal Information Access ; 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Revised Selected Papers ; https://hal.archives-ouvertes.fr/hal-00412450 ; 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Revised Selected Papers, Sep 2008, Aarhus, Denmark. pp.8 (2008)
	BASE
	Show details

5	French EuroWordNet Lexical Database Improvements
	Jacquin, Christine; Desmontils, Emmanuel; Monceaux, Laura
	In: Lectures Notes of computer sciences ; 8th international conference on Computational Linguistics and Intelligent Text Processing (CICLing) ; https://hal.archives-ouvertes.fr/hal-00472023 ; 8th international conference on Computational Linguistics and Intelligent Text Processing (CICLing), Feb 2007, Mexico, Mexico. pp.12-22 (2007)
	BASE
	Show details

6	J. Kittler and M.S. Nixon (Eds.): AVBPA 2003, LNCS 2688, pp. 208-213, 2003.
	Springer-Verlag Berlin Heidelberg; D. Garcia-romero; J. Gonzalez-rodriguez...
	In: http://fierrez.ii.uam.es/docs/2003_AVBPA_Unorm_GRomero.pdf (2003)
	BASE
	Show details

7	Autowrite: A Tool for Checking Properties of Term Rewriting Systems
	Durand, Irène
	In: Proceedings of the 13th International Conference on Rewriting Systems ; 13th International Conference on Rewriting Techniques and Applications ; https://hal.archives-ouvertes.fr/hal-00344294 ; 13th International Conference on Rewriting Techniques and Applications, 2002, Denmark. pp.371--375 (2002)
	BASE
	Show details

8	On the Modularity of Deciding Call-by-Need
	Durand, Irène,; Middeldorp, Aart
	In: Foundations of Software Science and Computation Structures ; https://hal.archives-ouvertes.fr/hal-00344304 ; Foundations of Software Science and Computation Structures, 2001, Italy. pp.199-213 (2001)
	BASE
	Show details

9	Cross-Language Information Retrieval using Dutch Query Translation
	Diekama, Anne R.; Hsiao, W.
	In: Instructional Technology and Learning Sciences Faculty Publications (2000)
	BASE
	Show details

10	E. Jul (Ed.): ECOOP'98, LNCS 1445, pp.13-40, 1998.
	Springer-Verlag Berlin Heidelberg; Michael Christensen; Andy Crabtree...
	In: http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/1445/14450013.pdf (1998)
	BASE
	Show details

11	Decidable Call by Need Computations in Term Rewriting
	Durand, Irène,; Middeldorp, Aart
	In: Proceedings of the 14th International Conference on Automated Deduction ; 14th International Conference on Automated Deduction ; https://hal.archives-ouvertes.fr/hal-00344328 ; 14th International Conference on Automated Deduction, 1997, Australia. pp.4--18 (1997)
	BASE
	Show details

12	Mathematical Foundations of Programming Semantics International Conference (9th) Held in New Orleans, Louisiana, April 1993
	Brookes, S.; Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
	In: DTIC AND NTIS (1993)
	Abstract: The major goal of this conference series is to bring together computer scientists who work in programming semantics and mathematicians who work in areas which might impact programming semantics so that they may share ideas and discuss problems of mutual interest. By letting mathematicians see applications of their work to programming semantics and by letting computer scientists see their ideas and intuitions expressed in pure mathematics, the organizers have sought to improve communication among the researchers in these areas and to establish ties between related areas of research.
	Keyword: APPLIED MATHEMATICS; PROGRAMMERS; *SEMANTICS; Computer Programming and Software; ITERATIONS; Linguistics; Numerical Mathematics; PROGRAMMING LANGUAGES; SYMPOSIA; SYNTAX
	URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA281229 http://www.dtic.mil/docs/citations/ADA281229
	BASE
	Hide details

13	Computational Mathetics: the missing link in Intelligent Tutoring Systems research?
	Berlin Springer-verlag; La Yr; John Self
	In: ftp://ftp.comp.lancs.ac.uk/pub/aai/aai-report-77.ps.Z (1992)
	BASE
	Show details

14	Emergence Cangelosi, A., and editors, Evolution Emergence of Linguistic of Communication.
	Springer Verlag; Graham Ritchie; Simon Kirby
	In: http://www.ling.ed.ac.uk/~simon/Papers/Ritchie/Selection,%20domestication,%20and%20the%20emergence%20of%20learned%20communication.pdf
	BASE
	Show details

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern