Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /

57

ग्रंथसूची विवरण
मुख्य लेखकों:	Namjoshi, Kedar S., Yoneda, Tomohiro, Higashino, Teruo
स्वरूप:
भाषा:	eng
प्रकाशित:	Heidelberg, New York : Springer, 2007
विषय:	Automatic theorem proving
ऑनलाइन पहुंच:	http://dx.doi.org/10.1007/978-3-540-75596-8

समान संसाधन

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
द्वारा: ATVA 2008 (2008 : Seoul, Korea), और अन्य
प्रकाशित: (2008)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
द्वारा: TABLEAUX 2007 (2007 : Aix en Provence, France), और अन्य
प्रकाशित: (2007)

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
द्वारा: Kerber, Manfred, और अन्य
प्रकाशित: (2001)

Symposium on Automatic Demonstration [proceedings] /
द्वारा: Symposium on Automatic Demonstration (1968 : Versailles, France), और अन्य
प्रकाशित: (1970)

Automated theorem proving : a logical basis /
द्वारा: 403272 Loveland, Donald W.
प्रकाशित: (1978)

A computational logic /
द्वारा: 403382 Boyer, Robert S., और अन्य
प्रकाशित: (1979)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
द्वारा: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), और अन्य
प्रकाशित: (2007)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
द्वारा: 183708 Bertot, Yves, और अन्य
प्रकाशित: (2004)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
द्वारा: Chlipala, Adam, 1981-
प्रकाशित: (2013)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
द्वारा: TYPES `98 (2006 : Nottingham, UK), और अन्य
प्रकाशित: (2007)

Automated Deduction, Les Arcs, France, July 8-11, 1980 /
द्वारा: Conference on Automated Deduction, (5th : 1980 : Les Arcs), और अन्य
प्रकाशित: (1980)

Logic for computer science : foundations of automatic theorem proving /
द्वारा: 455116 Gallier, Jean H.
प्रकाशित: (1986)

Globular: an online proof assistant for higher-dimensional rewriting
द्वारा: Vicary, J, और अन्य
प्रकाशित: (2016)

Symbolic logic and mechanical theorem proving /
द्वारा: 336504 Chang, Chin-Ling, और अन्य
प्रकाशित: (1973)

Proof technology and computation /
द्वारा: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany), और अन्य
प्रकाशित: (2006)

Automated reasoning : introduction and applications /
द्वारा: Wos, Larry
प्रकाशित: (1984)

Automated reasoning : 33 basic research problems /
द्वारा: 227665 Wos, Larry
प्रकाशित: (1988)

Formal modeling and analyzing method for database security policy
द्वारा: Rong WANG, और अन्य
प्रकाशित: (2015-09-01)

Deductive Verification of the Sliding Window Protocol
द्वारा: D. A. Chkliaev, और अन्य
प्रकाशित: (2015-03-01)

Theorem proving with analytic tableaux and related methods /
द्वारा: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), और अन्य
प्रकाशित: (1995)

A Recursive Inclusion Checker for Recursively Defined Subtypes
द्वारा: Hans De Nivelle
प्रकाशित: (2021-12-01)

On the calculus of positively constructed formulas for authomated theorem proving
द्वारा: A. V. Davydov, और अन्य
प्रकाशित: (2010-12-01)

Truth maintenance systems for problem solving.
द्वारा: Doyle, Jon
प्रकाशित: (2007)

Observations on Cognitive Judgments
द्वारा: McAllester, David
प्रकाशित: (2004)

MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
द्वारा: Mohamed Hadj Kacem, और अन्य
प्रकाशित: (2021-08-01)

New Andrews–Curtis trivializations for Miller–Schupp group presentations
द्वारा: Alexei Lisitsa
प्रकाशित: (2024-12-01)

Computer vision-- ACCV 2007 [electronic resource]: Part II: 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007 : proceedings/
द्वारा: Asian Conference on Computer Vision (8th : 2007 : Tokyo, Japan), और अन्य
प्रकाशित: (2007)

Computer vision-- ACCV 2007 [electronic resource]: Part I: 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007 : proceedings/
द्वारा: Asian Conference on Computer Vision (8th : 2007 : Tokyo, Japan), और अन्य
प्रकाशित: (2007)

Gravity, geoid, and marine geodesy : international symposium, Tokyo, Japan, September 30-October 5, 1996 /
द्वारा: International Symposium on Gravity, Geoid and Marine Geodesy (1996 : Tokyo, Japan), और अन्य
प्रकाशित: (1997)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
द्वारा: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), और अन्य
प्रकाशित: (2008)

The role of modern scientific evidences in criminal proving in Iraqi law
द्वारा: Anwer Qader
प्रकाशित: (2024-11-01)

Natural Language Based Inference Procedures Applied to Schubert's Steamroller
द्वारा: Givan, Robert, और अन्य
प्रकाशित: (2004)

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
द्वारा: Artem Davydov, और अन्य
प्रकाशित: (2024-03-01)

Noise and fluctuations : 19th International Conference on Noise and Fluctuations - ICNF 2007, Tokyo, Japan, 9-14 September 2007 /
द्वारा: International Conference on Noise and Fluctuations (19th : 2007 : Tokyo, Japan), और अन्य
प्रकाशित: (2007)

Pairing-Based Cryptography : Pairing 2007: First International Conference, Tokyo, Japan, July 2-4, 2007: Proceedings [electronic resource] /
द्वारा: International Conference on Pairing-Based Cryptography (1st : 2007 : Tokyo, Japan), और अन्य
प्रकाशित: (2007)

Grammar Rewriting
द्वारा: McAllester, David
प्रकाशित: (2004)

Research on formal security policy model specification and its formal analysis
द्वारा: LI Li-ping1, और अन्य
प्रकाशित: (2006-01-01)

Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications
द्वारा: Ikram Haddou-Oumouloud, और अन्य
प्रकाशित: (2024-01-01)

18.175 Theory of Probability, Spring 2007
द्वारा: Panchenko, Dmitry A.
प्रकाशित: (2007)

Imbalance in the duality of criminal activity and its proving
द्वारा: A. Yu. Afanasyev
प्रकाशित: (2024-12-01)