Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Probleme der Verhütung von Viruserkrankungen: Symposion an der Universitätskinderklinik Würzburg vom 2. bis 4. Juni 1966
  • PDF
  • German
  • Year: 1967
  • Author: S. Gard (auth.), J. Ströder, W. Henle (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
search