𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Logic for Information Systems

✍ Scribed by Dmitri A. Archangelsky; Mikhail A. Taitslin

Book ID
110217377
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
273 KB
Volume
58
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Communications in Computer and Informat
[Communications in Computer and Information Science] Eco-friendly Computing and Communication Systems Volume 305 || Adiabatic Technique for Designing Energy Efficient Logic Circuits
✍ Mathew, Jimson; Patra, Priyadarshan; Pradhan, Dhiraj K.; Kuttyamma, A. J. πŸ“‚ Article πŸ“… 2012 πŸ› Springer Berlin Heidelberg 🌐 English βš– 273 KB

This book constitutes the refereed proceedings of the International Conference Eco-friendly Computing and Communication Systems, ICECCS 2012, held in Kochi, Kerala, India, in August 2012. The 50 revised full papers presented were carefully reviewed and selected from 133 submissions. The papers are o

[Lecture Notes in Computer Science] Foun
[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 4932 || Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
✍ Hartmann, Sven; Kern-Isberner, Gabriele πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 English βš– 477 KB

An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine