The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 485
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
program complexity
416
exact sciences and technology
406
sciences exactes et technologie
406
complexite programme
383
informatique
378
applied sciences
273
more ...
sciences appliquees
273
computer science; control theory; systems
264
informatique; automatique theorique; systemes
264
computer science
261
complejidad programa
256
mathematics
175
mathematiques
175
sciences and techniques of general use
145
sciences et techniques communes
145
applied mathematics
131
matematicas applicadas
130
mathematiques appliquees
130
informatica
123
software
123
computer sciences
122
logiciel
121
informatique theorique
120
theoretical computing
118
logical programming
95
programacion logica
95
programmation logique
95
programmation
69
programming
69
computer theory
68
less ...
Published in
lecture notes in computer science
141
the journal of systems and software
15
theoretical computer science
15
ieee transactions on software engineering
11
cl 2000 : computational logic (london, 24-28 july 2000)
7
csl 2000 : computer science logic (fischbachau, 21-26 august 2000)
7
more ...
information processing letters
7
automated deduction - cade-16 (trento, 7-10 july 1999)
6
communications of the acm
6
fossacs '99 : foundations of software science and computation structures (amsterdam, 22-28 march 1999)
6
information and computation (print)
6
lpar '99 : logic for programming and automated reasoning (tbilisi, 6-10 september 1999)
6
stacs 2000 (lille, 17-19 february 2000)
6
tlca '99 : typed lambda calculi and applications (l'aquila, 7-9 april 1999)
6
applied mathematics and computation
5
lpnmr '99 : logic programming and nonmonotonic reasoning (el paso tx, december 2-4 1999)
5
acm sigplan notices
4
advances in computing science - asian'99 (phuket,december 10-12 1999)
4
information and control
4
the harlan d. mills collection
4
ieee transactions on computers
3
journal of artificial intelligence and data mining
3
computer languages
2
discrete applied mathematics
2
dissertation abstracts international
2
dtic
2
international journal of computer mathematics
2
journal of computer science and technology
2
kybernetes
2
the international journal of advanced manufacturing technology
2
less ...
Publisher
springer
148
elsevier
35
elsevier science
24
association for computing machinery
10
institute of electrical and electronics engineers
10
elsevier bv
8
more ...
academic press
6
monterey, california. naval postgraduate school
6
acm
4
society for industrial and applied mathematics
4
trace: tennessee research and creative exchange
4
elsevier b.v.
3
ieee computer soc
3
ieee computer society
3
oxford university press
3
shahrood university of technology
3
academia
2
association for computing machinery (acm)
2
ccsd
2
elsevier science bv
2
ieee
2
ieee comput. soc, los alamitos, ca, usa
2
institute of electrical and electronics engineers (ieee)
2
international society for mini and microcomputers
2
kaunas university of technology
2
oxford university press (oup)
2
proquest information & learning
2
sage publications
2
science press
2
springer-verlag
2
less ...
Language
Geography
Content Provider
Year of Publication
Filter