Automated reasoning about metric and topology (System description)

Ullrich Hustadt; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev; Michael Fisher; Wiebe van der Hoek; Boris Konev; Alexei Lisitsa

Automated reasoning about metric and topology (System description)

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev, Michael Fisher (Editor), Wiebe van der Hoek (Editor), Boris Konev (Editor), Alexei Lisitsa (Editor)

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06)
Publisher	Springer Nature
Pages	490-493
Number of pages	4
Volume	4160
Publication status	Published - 2006

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer

Cite this

Hustadt, U., Tishkovsky, D., Wolter, F., Zakharyaschev, M., Fisher, M. (Ed.), van der Hoek, W. (Ed.), Konev, B. (Ed.), & Lisitsa, A. (Ed.) (2006). Automated reasoning about metric and topology (System description). In Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06) (Vol. 4160, pp. 490-493). (Lecture Notes in Artificial Intelligence). Springer Nature.

@inbook{4876e70fcc7942baa7324774ec7b559a,

title = "Automated reasoning about metric and topology (System description)",

author = "Ullrich Hustadt and Dmitry Tishkovsky and Frank Wolter and Michael Zakharyaschev and Michael Fisher and {van der Hoek}, Wiebe and Boris Konev and Alexei Lisitsa",

year = "2006",

language = "English",

volume = "4160",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Nature",

pages = "490--493",

booktitle = "Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06)",

address = "United States",

}

Hustadt, U, Tishkovsky, D, Wolter, F, Zakharyaschev, M, Fisher, M (ed.), van der Hoek, W (ed.), Konev, B (ed.) & Lisitsa, A (ed.) 2006, Automated reasoning about metric and topology (System description). in Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06). vol. 4160, Lecture Notes in Artificial Intelligence, Springer Nature, pp. 490-493.

Automated reasoning about metric and topology (System description). / Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank et al.
Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06). Vol. 4160 Springer Nature, 2006. p. 490-493 (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Conference proceeding › Chapter

TY - CHAP

T1 - Automated reasoning about metric and topology (System description)

AU - Hustadt, Ullrich

AU - Tishkovsky, Dmitry

AU - Wolter, Frank

AU - Zakharyaschev, Michael

A2 - Fisher, Michael

A2 - van der Hoek, Wiebe

A2 - Konev, Boris

A2 - Lisitsa, Alexei

PY - 2006

Y1 - 2006

M3 - Chapter

VL - 4160

T3 - Lecture Notes in Artificial Intelligence

SP - 490

EP - 493

BT - Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06)

PB - Springer Nature

ER -