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
  • Mechanizing mathematical reaso...
  • 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

Mechanizing mathematical reasoning

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34791
Ostali autori: Siekmann, Jörg H. (-), Hutter, Dieter, Stephan, Werner
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin ; New York : Springer, 2005.
Nakladnička cjelina: Lecture notes in computer science ; 2605.
Lecture notes in artifical intelligence.
Predmet:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Reasoning > Automation.
Reasoning > Technique.
Online pristup: Restricted to SpringerLink subscribers
Publisher description
  • Posjedovanje
  • Citiranje
  • MARC

Internet

Restricted to SpringerLink subscribers
Publisher description

Slični primjerci

  • Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings
    Impresum: (2005)
  • 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 programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
    Impresum: (2005)
  • Properties of matter under unusual conditions; in honor of Edward Teller's 60th birthday
    Impresum: (1969)

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_604mob3gofapjdnu09hsn3fch7