Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Jean-Marie Gaillourdet

"Jean-Marie Gaillourdet" appeared in Books and Chapters

Showing 0 to 0 of 0 entries
BookAuthor(s)YearPublisher
No data available in table
BoookAuthor(s)YearPublisher
Showing 0 to 0 of 0 entries
Showing 1 to 4 of 4 entries
ChapterAuthor(s)BookBook AuthorsYearPublisher
The New WALDMEISTER Loop at Work
Jean-Marie Gaillourdet; Thomas Hillenbrand; Bernd Löchner; Hendrik Spies
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Franz Baader
2003
Springer Berlin Heidelberg
A Generic Functional Representation of Sorted Trees Supporting Attribution
Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch
Programming Logics: Essays in Memory of Harald Ganzinger
Andrei Voronkov; Christoph Weidenbach
2013
Springer Berlin Heidelberg
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
Jan Schäfer; Markus Reitz; Jean-Marie Gaillourdet; Arnd Poetzsch-Heffter
The Common Component Modeling Example: Comparing Software Component Models
Andreas Rausch; Ralf H. Reussner; Raffaela Mirandola; Frantisek Plasil
2008
Springer Berlin Heidelberg
WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models
Jean-Marie Gaillourdet; Thomas Grundmann; Martin Memmel; Karsten Schmidt; Arnd Poetzsch-Heffter; Stefan Deßloch
Knowledge-Based and Intelligent Information and Engineering Systems, Part IV: 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part IV
Andreas König; Andreas Dengel; Knut Hinkelmann; Koichi Kise; Robert J. Howlett; Lakhmi C. Jain
2011
Springer Berlin Heidelberg
ChapterAuthor(s)BookBook AuthorsYearPublisher
Showing 1 to 4 of 4 entries