Mike Vardy · Moshe Y. Vardi · Vardi, Moshe
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science , Band 2850) | Taschenbuch | 978-3-540-20101-4 (3-540-20101-7) | 2008 | Andrei Voronkov | |
| Reasoning About Knowledge | Printed Access Code | 978-0-262-25609-4 (0-262-25609-6) | 2004 | Ronald Fagin · Joseph Y. Halpern · Yoram Moses | |
| Reasoning About Knowledge | Paperback | 978-0-262-56200-3 (0-262-56200-6) | 2004 | Ronald Fagin · Joseph Y. Halpern · Yoram Moses |