Cooperative information systems : 9th international conference, CoopIS 2001, Trento, Italy, September 5-7, 2001 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Cooperative information systems : 9th international conference, CoopIS 2001, Trento, Italy, September 5-7, 2001 : proceedingshttps://catalogue-scientifique.canada.ca/record=1954452~S6*frcRechercher Batini, CarloSpringer, 2001, ISBN : 3540425241Livre électroniqueTexte intégral en ligne
Agent-oriented software engineering III : third international workshop, AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Agent-oriented software engineering III : third international workshop, AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributionshttps://catalogue-scientifique.canada.ca/record=2000646~S6*frcRechercher Giunchiglia, Fausto; Rechercher Odell, James J; Rechercher Weiss, GerhardSpringer, 2003Actes de conférence
Using abstraction (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Using abstractionhttps://catalogue-scientifique.canada.ca/record=1501386~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1991Livre
A theory of abstraction (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A theory of abstractionhttps://catalogue-scientifique.canada.ca/record=1501371~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1990Livre
The use of abstraction in automatic inference (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The use of abstraction in automatic inferencehttps://catalogue-scientifique.canada.ca/record=1464175~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1990Livre
Abstract theorem proving : mapping back (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Abstract theorem proving : mapping backhttps://catalogue-scientifique.canada.ca/record=1467505~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1990Livre
Theorem proving with definitions (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Theorem proving with definitionshttps://catalogue-scientifique.canada.ca/record=1447910~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1989Livre
Abstracting into inconsistent spaces, (or, The "false proof" problem) (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Abstracting into inconsistent spaces, (or, The "false proof" problem)https://catalogue-scientifique.canada.ca/record=1501384~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1989Livre
Abstract theorem proving (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Abstract theorem provinghttps://catalogue-scientifique.canada.ca/record=1447911~S6*frcRechercher Giunchiglia, Fausto; Rechercher Walsh, TobyDept. of Artificial Intelligence, University of Edinburgh, 1989Livre
Reflection in constructive and non-constructive automated reasoning (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Reflection in constructive and non-constructive automated reasoninghttps://catalogue-scientifique.canada.ca/record=1412969~S6*frcRechercher Giunchiglia, Fausto; Rechercher Smaill, AlanDept. of Artificial Intelligence, University of Edinburgh, 1988Livre