Štátna vedecká knižnica v Košiciach
- Hlavná 10, 042 30 Košice, tel. +421918245888, e-mail: svkk@svkk.sk
Showing
1 - 3
results of
3
for search '
"First-order logic"
'
Skip to content
Forgot Password
Toggle navigation
VuFind
0
items
(Full)
Sign up
Log Out
Institutional Login
Studyroom
Book studyroom
American Center
Serial studyroom
Germen Library
Studyroom Main Hall
Regional publication
Rare and old books
Digital collection
Books
Newspapers
E-book
Records
Language
Slovenčina
English
All Fields
Title
Author
Subject
Call Number
Barcode
Prírastkové číslo
ISBN/ISSN
Tag
Find
Advanced
Search Results - "First-order logic"
Suggested Topics within your search.
Suggested Topics within your search.
artificial intelligence
2
Exclude matching results
umelá inteligencia
2
Exclude matching results
machine learning
1
Exclude matching results
strojové učenie
1
Exclude matching results
Showing
1 - 3
results of
3
for search '
"First-order logic"
'
query time: 0.02s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading…
First
-
order
logic
and automated theorem proving /
Loading…
Artificial intelligence : a modern approach /
Loading…
Artificial intelligence : a textbook /
Search Tools:
RSS Feed
–
Save Search
Back
Refine Results
Institution
Hlavný fond
2
Exclude matching results
Americké centrum
1
Exclude matching results
Format
Book
3
Exclude matching results
Author
Aggarwal, Charu C.
1
Exclude matching results
Fitting, Melvin
1
Exclude matching results
Norvig, Petr
1
Exclude matching results
Russell, Stuart, 1962-
1
Exclude matching results
Language
Anglický
3
Exclude matching results
Genre
collective monographs
1
Exclude matching results
kolektívne monografie
1
Exclude matching results
textbooks (higher)
1
Exclude matching results
učebnice vysokých škôl
1
Exclude matching results
Year of Publication
From:
To:
