Salta al contenuto
  • Home
  • Feedback
  • Il tuo account
  • Il tuo account

    Elementi salvati Profilo Ricerche salvate
  • Esci
  • Entra
  • Lingua
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
 
                                 Search: Avanzata
  • Ricerca
  • Deduction systems in artificia...
  • Posseduto
  • Citazione
  • Invia SMS
  • Invia email
  • Esporta il record
    • Esporta a RefWorks
    • Esporta a EndNoteWeb
    • Esporta a EndNote
    • Esporta a MARC
    • Esporta a MARCXML
    • Esporta a RDF
    • Esporta a BibTeX
    • Esporta a RIS
  • Aggiungi alla lista
Copertina
Anteprima
Anteprima
Anteprima

Deduction systems in artificial intelligence

Salvato in:
Dettagli Bibliografici
Altri autori: Blasius, Burckert
Natura: Libro
Lingua:English
Pubblicazione: Chichester ill. 25 cm
Soggetti:
Artificial intelligence
Automatic theorem provingx
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
  • Posseduto
  • Descrizione
  • Commenti
  • Documenti analoghi
  • MARC21

Documenti analoghi

  • Logic for programming, artificial intelligence, and reasoning : proceedings of the 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 /
    Pubblicazione: (2001)
  • Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
    Pubblicazione: (2005)
  • Automated reasoning : introduction and applications /
    Pubblicazione: (1984)
  • Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 /
    Pubblicazione: (1993)
  • The collected works of Larry Wos /
    di: Wos, Larry.
    Pubblicazione: (2000)

 Contact Us
 Quick Links
 
PERPUSTAKAAN SULTAN ABDUL SAMAD

Universiti Putra Malaysia

43400 UPM Serdang

Selangor Darul Ehsan

Phone: +603 9769 8642
Fax    : +603 9769 4747
Email : lib@upm.edu.my
 
 
  • UPM Library Portal
  • UPM Web OPAC
  • UPM IR
  • UPM MyAGRIC
  • UPM EZACCESS
  • Web AGRIS
 

Caricamento...