Overslaan en naar de inhoud gaan
Main navigation mobile
Home
Over FRIS
Partners
Cijfers
Classificaties
Nieuws
Contacteer ons
FAQ
English
Secundaire navigatie
Toon — Secundaire navigatie
Verberg — Secundaire navigatie
Contacteer ons
FAQ
English
Main navigation
Home
Over FRIS
Partners
Cijfers
Classificaties
Nieuws
Alle resultaten
Gekozen filters:
SAT(ID)
Gekozen filters:
SAT(ID)
Zoekresultaten
Paginatie
Huidige pagina
1
Pagina
2
Volgende pagina
Volgende ›
›
Laatste pagina
Laatste »
»
Onderzoekers
Zoek term:
Fulltext search
Zoeken
Geen zoekresultaten.
Organisaties
Zoek term:
Fulltext search
Geen zoekresultaten.
Projecten
(1 - 1 of 1)
Zoek term:
Fulltext search
Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem
Publicaties
(1 - 5 of 10)
Zoek term:
Fulltext search
Relevance for SAT(ID)
Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System
Implementing a relevance tracker module
An approximative inference method for solving ∃∀SO satisfiability problems
An approximative inference method for solving ∃∀SO satisfiability problems
Patents
Zoek term:
Fulltext search
Geen zoekresultaten.
Infrastructures
Zoek term:
Fulltext search
Geen zoekresultaten.
Datasets
Zoek term:
Fulltext search
Geen zoekresultaten.
Paginatie
Huidige pagina
1
Pagina
2
Volgende pagina
Volgende ›
›
Laatste pagina
Laatste »
»