Անցեք բովանդակությանը
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Computing LOGCFL Certificates
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
Computing LOGCFL Certificates
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Gottlob, G
,
Leone, N
,
Scarcello, F
Ձևաչափ:
Conference item
Հրապարակվել է:
Springer
1999
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
Computing LOGCFL certificates
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
On Tractable Queries and Constraints
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
A Comparison of Structural CSP Decomposition Methods
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1997)
The complexity of acyclic conjunctive queries
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
The Complexity of Acyclic Conjunctive Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
Hypertree Decompositions: A Survey
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
A comparison of structural CSP decomposition methods
: Gottlob, G, և այլն
Հրապարակվել է: (2000)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree decompositions: questions and answers
: Gottlob, G, և այլն
Հրապարակվել է: (2016)
The DLV System for Knowledge Representation and Reasoning
: Leone, N, և այլն
Հրապարակվել է: (2002)
The DLV system for knowledge representation and reasoning
: Leone, N, և այլն
Հրապարակվել է: (2006)
Pure Nash Equilibria: Hard and Easy Games
: Gottlob, G, և այլն
Հրապարակվել է: (2005)
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms
: Gottlob, G, և այլն
Հրապարակվել է: (2017)
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
: Gottlob, G, և այլն
Հրապարակվել է: (2005)
Pure Nash equilibria: hard and easy games
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Fixed−parameter complexity in AI and nonmonotonic reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
The dlv System: Model Generator and Advanced Frontends (system description)
: Citrigno, S, և այլն
Հրապարակվել է: (1997)
Panel on “Past and future of computer science theory”
: Fagin, R, և այլն
Հրապարակվել է: (2021)
Hypertree Decompositions: Structure‚ Algorithms‚ and Applications
: Gottlob, G, և այլն
Հրապարակվել է: (2005)
Cloud computing specialist certification programs
: S. N. Seitvelieva, և այլն
Հրապարակվել է: (2013-03-01)
Engineering computer software : verification, qualification, certification /
: National Congress on Pressure Vessels and Piping, San Francisco, May 11.1971, և այլն
Հրապարակվել է: (1971)
Computing Covers for Embedded Functional Dependencies
: Gottlob, G
Հրապարակվել է: (1987)
Abduction from Logic Programs: Semantics and Complexity
: Eiter, T, և այլն
Հրապարակվել է: (1997)
On the Indiscernibility of Individuals in Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Enhancing Model Checking in Verification by AI Techniques
: Buccafurri, F, և այլն
Հրապարակվել է: (1999)
On ACTL Formulas Having Linear Counterexamples
: Buccafurri, F, և այլն
Հրապարակվել է: (2001)
Edge Computing Parallel Approach for Efficient Energy Sharing in a Prosumer Community
: Luigi Scarcello, և այլն
Հրապարակվել է: (2022-06-01)
Certification
: Melodye Lehnerer
Հրապարակվել է: (2023-06-01)
Prev
Հաջորդը
Նմանատիպ նյութեր
Computing LOGCFL certificates
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
On Tractable Queries and Constraints
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
A Comparison of Structural CSP Decomposition Methods
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
