Вы здесь

Главная

доказательство

Связанные издания:

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Abstract Interpretation of Proofs: Classical Propositional Calculus
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstract Properties for the Choice Provability Relation in Nonmonotonic Logics
A Clausal Logic for Deontic Action Specification
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Computational Logic Handbook
A Connection Based Proof Method for Intuitionistic Logic
A Constraint Oriented Proof Methodology Based on Model Transition Systems
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
ACT-P: A Configurable Theorem-Prover
AC Unification in HOL90
A Direct Proof Procedure for Definite Conceptual Graph Programs
Advanced Information System Enginering: Proc./30th International Conference, CAiSE 2018, Tallinn, Estonia, June 2018
Advanced Information Systems Engineering: Proc./29th International Conference, CAiSE 2017, Essen, Germany, June 2017
Advances in Artificial Intelligence - IBERAMIA 2016: Proc./15th Ibero-American Conference on AI, San Jose, Costa Rica, November 2016
Advances in Artificial Intelligence, Part I: Proc./9th Mexican International Conference on AI, MICAI 2010, Pachuca, Mexico, November 2010
Advances in Artificial Intelligence: Proc./16th Confernce of the Spanish Association for AI, CAEPIA 2015, Albacete, Spain, November 2015
Advances in Artificial Intelligence: Proc./29th Canadian Conference on AI, Canadian AI 2016, Victoria,BC,Canada, May 2016
Advances in Artificial Intelligence: Proc./31st Canadian Conference on AI, Canadian AI 2018, Toronto,ON,Canada, May 2018
Advances in Artificial Intelligence: Proc./32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Kingston,ON,Canada, May 2019
Advances in Artificial Intelligence - SBIA 2010: Proc./20th Brazilian Symposium on AI, Sao Bernardo do Compo, Brazil, October 2010
Advances in Computational Intelligence, Part I: Proc./14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 2017
Advances in Computational Intelligence, Part I: Proc./15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 2019
Advances in Knowledge Discovery and Data Mining, Part I: Proc./18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 2014
Advances in Knowledge Discovery and Data Mining: Proc./13th Pacific-Asia Conference, PACDD 2009, Bangkok, Thailand, April 2009
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion on His 60th Birthday
Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection: Proc./15th International Conference, PAAMS 2017, Porto, Portugal, June 2017
Advances in Soft Computing, Part II: Proc./9th Mexican International Conference on AI, MICAI 2010, Pachuca, Mexico, November 2010
Advances in Soft Computing: Proc./18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 2019
A Formal Framework for ASTRAL Inter-level Proof Obligations
A Formalization of Abstraction in LAMBDA
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans
Agents and Artificial Intelligence: Revised Selected Papers/8th International Conference, ICAART 2016, Rome, Italy, February 2016
A Graphical Tool for Proving UNITY Progress
Agreement Technologies: Proc./2nd International Conference, AT 2013, Beijing, China, August 2013
A HOL Package for Reasoning about Relations Defined by Mutual Induction
AI 2016: Advances in Artificial Intelligence: Proc./29th Australasian Joint Conference, Hobart,TAS,Australia, December 2016
AI 2019: Advances in Artificial Intelligence: Proc./32nd Australasian Joint Conference, Adelaide,SA,Australia, December 2019
AI*IA 2005: Adcances in Artificial Intelligence: Proc./9th Congress of the Italian Association for Artificial Intelligence. Milan, Italy, September 2005
AI*IA 2015 Advances in Artificial Intelligence: Proc./XIVth International Conference of the Italian Association for AI, Ferrara, Italy, September 2015
AIxIA 2020 - Advances in Artificial Intelligence: Revised Selected Papers/XIXth International Conference on the Italian Association for Artificial Intelligence, Virtual Event, November 2020
Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008
Algorithmic Structuring of Cut-free Proofs
A Mathematical Model of Uncertain Information
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
An Algebraic Proof in VDM
An Application to Teaching in Logic Course of ATP Based on Natural Deduction
An Inductive Theorem Prover Based on Narrowing
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp