MPG.eBooks - Search Results

Cover Image

121

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

by Hunter, Anthony
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

122

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

Cover Image

123

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

by Pierre, Laurence
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

124

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

Cover Image

125

Algorithmic Learning Theory : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings

by Watanabe, Osamu
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

126

Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings

by Gelfond, Michael
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

127

Incremental Speech Translation

by Amtrup, Jan Willers
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

128

Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

by Thiagarajan, P S
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

129

Grading Knowledge : Extracting Degree Information from Texts

by Staab, Steffen
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

130

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

by McCune, William
Published 1997

Springer Berlin Heidelberg

Cover Image

131

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

by Grumberg, Orna
Published 1997

Springer Berlin Heidelberg

Cover Image

132

Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

by Dalen, Dirk van
Published 1997

Springer Berlin Heidelberg

Cover Image

133

Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

by Raymond, Darrell
Published 1997

Springer Berlin Heidelberg

Cover Image

134

Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

by Dix, Jürgen
Published 1997

Springer Berlin Heidelberg

Cover Image

135

Principles and Practice of Constraint Programming – CP 2000 : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings

by Dechter, Rina
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

136

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

by Taha, Walid
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

137

Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings

by Nagl, Manfred
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

138

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

by McAllester, David
Published 2000

Springer Berlin Heidelberg

Cover Image

139

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997

Springer Berlin Heidelberg

Cover Image

140

Field Programmable Logic and Applications : 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

by Luk, Wayne
Published 1997

Springer Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12