단행본 상세

URL복사하기
서지주요정보
Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings [electronic resource]
서명 / 저자 Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / edited by Boris Konev, Giles Reger.
저자명 Konev, Boris. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Reger, Giles. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
Online Access https://doi.org/10.1007/978-3-030-86205-3 URL

서지기타정보

서지기타정보
청구기호 Q334-342
판사항 1st ed. 2021.
형태사항 XVI, 307 p. 41 illus., 19 illus. in color. online resource.
총서명 Lecture Notes in Artificial Intelligence ; 12941
언어 English
내용 Calculi and Unification -- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Non-Disjoint Combined Unification and Closure by Equational Paramodulation -- Symbol Elimination and Applications to Parametric Entailment Problems -- On the copy complexity of width 3 Horn constraint systems -- Description Logics Restricted Unification in the Description Logic FL0 -- Combining Event Calculus and Description Logic Reasoning via Logic Programming -- Semantic Forgetting in Expressive Description Logics -- Interactive Theorem Proving Improving Automation for Higher-order Proof Steps -- JEFL: Joint Embedding of Formal Proof Libraries -- Machine Learning Fast and Slow Enigmas and Parental Guidance -- Vampire With a Brain Is a Good ITP Hammer -- Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization -- Quantifier Simplification by Unification in SMT -- Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems -- Formal Analysis of Symbolic Authenticity -- Formal Verification of a Java Component Using the RESOLVE Framework.
주제 Artificial intelligence.
Software engineering.
Computer engineering.
Computer networks .
Computer science.
Machine theory.
Artificial Intelligence.
Software Engineering.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030862046 Printed edition: 9783030862060
ISBN 9783030862053
기타 표준번호 10.1007/978-3-030-86205-3
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기