Filtry
GRUNGE: A Grand Unified ATP Challenge
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Comparing CSP representation and First order logic
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
First-Order Relevant Reasoners in Classical Worlds
Pure mathematics
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
One Variable Relevant Logics are S5ish
Pure mathematics
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Model Counting and Sampling in First-Order Logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
One-variable fragments of first-order logics
Pure mathematics
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Deciding first order properties of matroids
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
FO Model Checking of Interval Graphs
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Truth-Preservation under Fuzzy pp-Formulas
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Context-Sensitive Refinements for Stochastic Optimisation Algorithms in Inductive Logic Programming
JC - Počítačový hardware a software
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 z 12 373