Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Mikoláš Janota, Inês Lynce
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Neue Forschungen zur deutschen Dichtung des Spätmittelalters (1230-1500) 1957-1968
  • PDF
  • German
  • Year: 1971
  • Author: Johannes Janota
Orientierung durch volkssprachige Schriftlichkeit (1280/90-1380/90)
  • PDF
  • German
  • Year: 2004
  • Author: Johannes Janota
Ich und sie, du und ich: Vom Minnelied zum Liebeslied
  • PDF
  • German
  • Year: 2009
  • Author: Johannes Janota
Geschichte der deutschen Literatur von den Anfängen bis zum Beginn der Neuzeit. Teil 1 Orientierung durch volkssprachige Schriftlichkeit: (1280/90-1380/90)
  • PDF
  • German
  • Year: 2004
  • Author: Johannes Janota
Ich und sie, du und ich: Vom Minnelied zum Liebeslied
  • PDF
  • German
  • Year: 2009
  • Author: Johannes Janota
Um, Dois e Já
  • EPUB
  • Portuguese
  • Year: 2014
  • Author: Inês Bortagaray
search