Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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

Hollande-Septentrionale36
Maarten Marx20
Hollande-Septentrionale Sauf Maarten Marx" 34
Maarten Marx Sauf Hollande-Septentrionale" 18
Hollande-Septentrionale Et Maarten Marx 2
Hollande-Septentrionale Ou Maarten Marx 54
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
008737 Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]Tableaux for Quantified Hybrid Logic
009286 Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas]Situation Calculus as Hybrid Logic: First Steps
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022