Jezik:
Slovenski
English
SFX by Ex Libris Inc.
Contains information about title and source of a journal
Vir:
First-Order Logic and Automated Theorem Proving [1-4612-7515-6; 1-4612-2360-1] Fitting, Melvin
l.:1996
List of services to meet your request
Contains list of services for current record
Basic services
Celotno besedilo
Celotno besedilo dostopno v
Ebook Central Academic Complete
Sporočite napako
Hvala za posredovanje sporočila o napaki.
Leto:
Letnik:
Številka:
Začetna stran:
Dostopnost:
Dostop je mogoč iz prostorov univerze in z oddaljenim dostopom za študente in zaposlene Univerze na Primorskem.
Celotno besedilo
Celotno besedilo morda dostopno preko oznake
DOI
© 2024 SFX by Ex Libris Inc. |
Piškotki
CrossRef
Omogočeno