Temat: automated theorem proving

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "automated theorem proving" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Automation for Dependently Typed Functional Programming
Autorzy:: Wilson, S.
Fleuriot, J.
Smaill, A.
Data publikacji:: 2010
Słowa kluczowe:: dependent types
rippling
generalisation
automated theorem proving
Coq; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Explaining the undecidability of first-order logic
Autorzy:: Lampert, Timm
Nakano, Anderson
Data publikacji:: 2024-12-31
Wydawca:: Copernicus Center Press
Tematy:: Entscheidungsproblem
pattern detection
halting problem
constructive proof
automated theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Proving Theorems by Program Transformation
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: automated theorem proving
constraint logic programming
program specialization
program transformation
quantifier elimination
temporal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Autorzy:: Steen Alexander
Benzmüller Christoph
Data publikacji:: 2016-07-26
Tematy:: many-valued logic non-classical logic higher-order logic
automated theorem proving semantic embedding automation
meta-logical reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Towards automated consistency checking of module interface specifications
Autorzy:: Engel, M.
Kret, A.
Mincer-Daszkiewicz, J.
Data publikacji:: 2000
Słowa kluczowe:: software engineering
formal method
automated theorem proving
shallow and deep embedding
axiomatic and definitional embedding
Trace Assertion Method
PVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Methods of knowledge representation and processing in control of intelligent tutoring systems
Autorzy:: Vassilyev, S. N.
Smirnova, N. V.
Sukonnova, A. A.
Shvarts, A. Yu.
Data publikacji:: 2011
Słowa kluczowe:: sztuczna inteligencja
kontrola
podejmowanie decyzji
artificial intelligence
tutoring systems
model-tracing systems
automated theorem proving
multi-criteria decision making
student model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Automated deduction techniques for studying Rough Algebras
Autorzy:: Vigneron, L.
Data publikacji:: 1998
Słowa kluczowe:: automated deduction
theorem proving
equational theories
first-order logic
constraint deduction
modal logic
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "automated theorem proving" wg kryterium: Temat