Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99.
Walter Alexandre CarnielliPublished in: Stud Logica (2013)
Keyphrases
- case study
- modal logic
- exchange rate
- lessons learned
- automated reasoning
- artificial intelligence
- computer science
- lecture notes
- sequent calculi
- real world
- classical logic
- machine intelligence
- knowledge management
- open source
- image processing
- data mining processes
- functional dependencies
- design methodology
- detailed descriptions
- development process
- business process
- signal processing
- linear logic
- neural network