Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: 2006

Number of items: 1.

2006

Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) Automated reasoning about metric and topology. In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science 4160. Springer, pp. 490-493. ISBN 9783540396253.

This list was generated on Mon Dec 23 05:57:18 2024 GMT.

Export as	Atom RSS