Title: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Author: Hector J. Levesque
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings, Author: Jan Maluszynski
Title: Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, Author: Nicolas Maudet
Title: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers, Author: Juergen Dix
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings, Author: Roy Dyckhoff
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings, Author: Celine Rouveirol
Title: Sequential Logic Synthesis, Author: Pranav Ashar
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: 100 Power Tips for FPGA Designers, Author: Evgeni Stavinov
Title: Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings, Author: Gerhard W. Dueck
Title: Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Author: Martin Kutrib
Title: Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers, Author: João Leite
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines, Author: Alakananda Bhattacharya
Title: Conclog: A Methodological Approach to Concurrent Logic Programming, Author: Jean-Marie Jacquet
Title: Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.-11. September 1987, Author: Fevzi Belli
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405, Author: Irek Ulidowski

Pagination Links