Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003, proceedings
Finna-recension
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003, proceedings
Sparad:
| Fysisk beskrivning |
270 sivua |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Utgivare |
Berlin :
Springer,
cop. 2003.
|
| Serie | Lecture notes in computer science, Lecture notes in artificial intelligence, 2796. Lecture notes in computer science, 2796. |
| Klassifikation | |
| Ämnen | |
| Mer information | Marta Cialdea Mayer, Fiora Pirri (Eds.) |
| ISBN |
3-540-40787-1 pehmeäkantinen |