Zoeken

U zocht naar: Auteur Olivetti, Nicola Filter Auteur: Olivetti, Nicola weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Auteur:
Olivetti, Nicola; Siekmann, Jörg
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
2. Proof Theory for Fuzzy Logics
thumbnail
Full text!
Auteur:
Metcalfe, George; Barwise, Jon; Gabbay, Dov M.; Olivetti, Nicola
Uitgever:
Springer Netherlands 2009
Type:
e-book
3. Automated Reasoning
thumbnail
Full text!
Auteur:
Nicola Olivetti, Ashish Tiwari; Tiwari, Ashish
Uitgever:
Springer International Publishing 2016
Type:
e-book