Search Results
Results 1 - 10 of 29
(page 1 of 3)
Personal Author
Topic Subject
Reactive Kripke Semantics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642413896 |
| Phys. Desc.: | XII, 442 p. 201 illus., 10 illus. in color. online resource. |
| Electronic resource | Texto completo |
Conditionals and Modularity in General Logics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642190681 |
| Phys. Desc.: | IX, 233p. 20 illus. digital. |
| Electronic resource | Texto Completo |
Logical Tools for Handling Change in Agent-Based Systems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642044076 |
| Phys. Desc.: | X, 305p. online resource. |
| Electronic resource | Texto completo |
Natural Deduction, Hybrid Systems and Modal Logics
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2010. |
| ISBN: | 9789048187850 |
| Phys. Desc.: | XXIII, 514p. online resource. |
| Electronic resource | Texto completo |
Proof Theory for Fuzzy Logics
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2009. |
| ISBN: | 9781402094095 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540322542 |
| Phys. Desc.: | IX, 565 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Belief Revision in Non-Classical Logics
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447141860 |
| Phys. Desc.: | XI, 120 p. 5 illus. online resource. |
| Electronic resource | Texto completo |
A Missing Link in Cybernetics Logic and Continuity
E-book
E-book
| Publisher: | New York, NY : Springer New York, 2009. |
| ISBN: | 9780387751641 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540324256 |
| Phys. Desc.: | XVIII, 639 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318972 |
| Phys. Desc.: | XI, 567 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Personal Author
Topic Subject
