Auteurs
Keywords (en)
Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Johannes Köbler1
Propositional logic2
Johannes Köbler Sauf Propositional logic" 0
Propositional logic Sauf Johannes Köbler" 1
Johannes Köbler Et Propositional logic 1
Johannes Köbler Ou Propositional logic 2
Corpus310
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000229 Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne]Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024