Showing
1 - 2
results of
2
for search '
'
Skip to content
Catalog K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Find
Advanced Search
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Topics:
Remove Filter
logic programming
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Topics:
Remove Filter
logic programming
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.01s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Loading…
Logické programování a Prolog
by
Hynek, Josef, 1965-
,
Mikulecký, Peter, 1948-
Year of Publication
2003
Call Number
Loading…
Book
Loading…
Save to List
Saved in:
2
Loading…
Computational logic and set theory applying formalized logic to analysis
by
Schwartz, Jacob T., 1930-2009
,
Cantone, Domenico
,
Omodeo, Eugenio, 1951-
Year of Publication
2011
Call Number
Loading…
Plný text
eBook
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Library
Knihovna UTB
1 results
1
Format
Book
1 results
1
eBook
1 results
1
Topics
logic programming
logické programování
2 results
2
Prolog (computer program language)
1 results
1
Prolog (programovací jazyk)
1 results
1
computer programs
1 results
1
computer science
1 results
1
See more
Author
Cantone, Domenico
1 results
1
Davis, Martin, 1928-
1 results
1
Hynek, Josef, 1965-
1 results
1
Mikulecký, Peter, 1948-
1 results
1
Omodeo, Eugenio, 1951-
1 results
1
Schwartz, Jacob T., 1930-2009
1 results
1
See more
Language
Czech
1 results
1
English
1 results
1
Genre
electronic books
1 results
1
elektronické knihy
1 results
1
handbooks, manuals, etc
1 results
1
praktická cvičení
1 results
1
příručky
1 results
1
textbooks (higher)
1 results
1
See more
Year of Publication
From:
To: