Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 60-80 di 103

Theorem proving in higher order logics

16 °sic|! international conference, TPHOLs 2003 : Rome, Italy, September 8-12, 2003 : proceedings

  • International conference on theorem proving in higher order logics 16. Roma 2003

Proceedings of the second Conference on theoretical aspects of reasoning about knowledge

March 7-9, 1988, Pacific Grove, California

  • Conference on theoretical aspects of reasoning about knowledge 2. Pacific Grove 1988

Sistemi a logica fuzzy [+]

come rendere intelligenti le macchine

  • Cammarata, Silvio

I sistemi esperti e il mondo degli impianti complessi

un esempio di applicazione

  • Ferrari, Laura

Fuzzy logic

a practical approach

  • McNeill, F. Martin

Cognitive carpentry [+]

a blueprint for how to build a person

  • Pollock, John L.

Mechanism of implicit learning

connectionist models of sequence processing

  • Cleeremans, Axel

Intelligent database tools & applications

hyperinformation access, data quality, visualization, automatic discovery

  • Parsaye, Kamran

Holographic reduced representation

distributed representation for cognitive structures

  • Plate, Tony A.

Probabilistic reasoning in expert systems

theory and algorithms

  • Neapolitan, Richard E.

L'elaborazione del linguaggio naturale

risultati e prospettive dell'analisi e della sintesi del linguaggio

  • Waterworth, John A.

Ontological engineering

with examples from the areas of knowledge management, e-commerce and the semantic web

  • Gomez-Perez, Asuncion

Expert systems in civil engineering

IABSE colloquium Bergamo, Oct. 1989

  • International association for bridge and structural engineering