Skip to content
Složeno pretraživanje
  • Jezik
    • 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
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Practical reasoning
  • Posjedovanje
  • Citiranje
  • Pošaljite e-poštom
  • Izvoz zapisa
    • Izvoz u RefWorks
    • Izvoz u EndNoteWeb
    • Izvoz u EndNote
    • Izvoz u MARC
    • Izvoz u MARCXML
    • Izvoz u RDF
    • Izvoz u BibTeX
    • Izvoz u RIS
Slika naslovnice
Preview
Preview
Preview

Practical reasoning

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:35270
Ostali autori: International Conference on Formal and Applied Practical Reasoning (-)
Ostali autori: Gabbay, Dov M., 1945- (-), Ohlbach, Hans Jürgen
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin ; New York : Springer, c1996.
Nakladnička cjelina: Lecture notes in computer science ; 1085.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Predmet:
Automatic theorem proving > Congresses.
Practical reason > Congresses.
Reasoning > Congresses.
Artificial intelligence > Congresses.
Online pristup: Publisher description
  • Posjedovanje
  • Citiranje
  • MARC

Internet

Publisher description

Slični primjerci

  • Artificial intelligence and soft computing - ICAISC 2004 : 7th international conference, Zakopane, Poland, June 7-11, 2004 : proceedings
    Impresum: (2004)
  • Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
    Impresum: (2006)
  • Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
    Impresum: (2005)
  • Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
    Impresum: (2005)
  • Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
    Impresum: (2003)

Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...
Cannot write session to /tmp/vufind_sessions/sess_d6qq6h3oq1375jc7upn3vo75r6