The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 86
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
02 engineering and technology
29
0202 electrical engineering, electronic engineering, information engineering
29
logic programming
25
01 natural sciences
20
0102 computer and information sciences
16
prolog
12
more ...
general topics in the theory of software
7
logic
7
0101 mathematics
6
logic programming language
6
theory of programming languages
5
computer science
4
frege
4
predicate logic
4
theorem proving (deduction, resolution, etc.)
4
theory of operating systems
4
abstract data types
3
artificial intelligence
3
education
3
interval and finite arithmetic
3
specification and verification (program logics, model checking, etc.)
3
theoretical computer science
3
05 social sciences
2
3. good health
2
algebraic specification
2
calculus
2
computational theory and mathematics
2
computer science applications
2
context-aware
2
database theory
2
less ...
Published in
new generation computing
8
the journal of logic programming
7
constraints
2
constraints - an international journal
2
future human image
2
international journal of approximate reasoning
2
more ...
journal of automated reasoning
2
logic journal of igpl
2
reliable computing
2
acm computing surveys
1
acm transactions on programming languages and systems
1
artificial intelligence review
1
computer languages
1
decision support systems
1
dissertation abstracts international
1
dissertation abstracts international: section b: the sciences and engineering
1
electronic proceedings in theoretical computer science
1
future generation computer systems
1
ieee computer graphics and applications
1
ieee journal on selected areas in communications
1
ieee micro
1
ieee transactions on computers
1
ieee transactions on software engineering
1
ieee-acm transactions on audio speech and language processing
1
ieice transactions on information and systems
1
information and computation
1
international journal of intelligent systems
1
international journal on software tools for technology transfer
1
international journal on software tools for technology transfer (sttt)
1
journal of computer and system sciences
1
less ...
Publisher
elsevier bv
12
springer science and business media llc
10
international society of philosophy and cosmology
4
springer-verlag
4
schloss dagstuhl - leibniz-zentrum fur informatik
3
technische universitat dresden
3
more ...
wti-frankfurt-digital gmbh
3
elsevier b.v.
2
elsevier science inc
2
ieee-inst electrical electronics engineers inc
2
open publishing association
2
oxford university press (oup)
2
springer
2
springer us, new york, ny
2
федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «московскии государственныи техническии университет имени н.э.баумана»
2
acm
1
acm press
1
assoc computing machinery
1
cambridge univ press
1
country:us
1
elsevier inc.
1
elsevier science
1
elsevier, amsterdam
1
hindawi limited
1
ieee comput. soc
1
ieee computer soc
1
ieice-inst electronics information communications eng
1
information processing society of japan, tokyo
1
institute of electrical and electronics engineers (ieee)
1
institutionen for informationsvetenskap
1
less ...
Language
Content Provider
Year of Publication
Filter