Automated Reasoning, Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings by Furbach, Ulrich
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 004.019 FUR.
Book details
- Author
- Furbach, Ulrich
- Publisher
- Springer
- Year
- 2006
- ISBN
- 9783540371878
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 004.019 FUR | 220444 | Reference only (read in the library) |
Next to this on the shelf
- The Distraction Trap: How to Focus in a Digital World 004.019 BOO
- Computer And Information Science: An Interdisciplinary Approach 004.019 CLA
- Human Computer Interaction 004.019 DIX
- Knowledge-Based Configuration: From Research To Business Cases 004.019 FEL
- Automated Reasoning, Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings (this book)
- Human-Computer Interaction 004.019 GAC
- Automata And Computability 004.019 GOP
- Human-computer interaction: emerging trends 004.019 HAR
- Human computer interaction 004.019 HAR