Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 3.281
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
programmation logique
1.009
logical programming
1.007
programacion logica
1.007
artificial intelligence
838
intelligence artificielle
838
logiciel
681
mehr ...
software
681
mathematics
570
mathematiques
570
apprentissage et systemes adaptatifs
506
learning and adaptive systems
506
inteligencia artificial
461
fonction booleenne
439
modeling
392
modelisation
392
modelizacion
392
boolean function
390
constraint satisfaction
359
satisfaction contrainte
359
satisfaccion restriccion
358
funcion booliana
340
program verification
307
verificacion programa
307
verification programme
307
semantics
285
semantica
284
semantique
284
fuzzy logic
248
logique floue
248
logica difusa
244
weniger ...
Veröffentlicht in
lecture notes in computer science
1.638
international journal of intelligent systems
145
theoretical computer science
138
7th international symposium on parallel architectures, algorithms, and networks (i-span 2004) (proceedings)
100
ieee transactions on computers
72
international journal of approximate reasoning
70
mehr ...
logics in artificial intelligence (lisbon, 27-30 september 2004)
67
cp 2004 : principles and practice of constraint programming (toronto on, 27 september - 1 october 2004)
65
information processing letters
64
34th international symposium on multiple-valued logic (proceedings)
55
0iclp 2006
52
logic programming (22nd international conference, iclp 2006)
52
0lpar 2005
49
logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005)
49
lics 2004 (proceedings of the 19th annual ieee symposium on logic in computer science)
46
lpnmr 2005 : logic programming and nonmonotonic reasoning (diamante, 5-8 september 2005)
44
theory and applications of satisfiability testing (st andrews, 19-23 june 2005)
42
artificial intelligence (general ed.)
41
computer science logic (vienna, 25-30 august 2003)
41
automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003)
38
csl 2001 : computer science logic (paris, 10-13 september 2001)
38
theory and applications of satisfiability testing (santa margherita ligure, 5-8 may 2003, selected revised papers)
38
csl 2005 : computer science logic (oxford, 22-25 august 2005)
37
automated reasoning (cork, 4-8 july 2004)
36
lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005)
36
csl 2004 : computer science logic (karpacz, 20-24 september 2004)
35
fuzzy sets and systems (istanbul, 30 june - 2 july 2003)
34
lpnmr 2004 : logic programming and nonmonotonic reasoning (fort lauderdale fl, 6-8 january 2004)
33
logic programming (saint malo, 6-10 september 2004)
30
lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003)
30
weniger ...
Verlag
springer
1.870
elsevier
417
wiley
145
ieee computer society
115
institute of electrical and electronics engineers
104
ieee computer society press
100
mehr ...
elsevier science
94
association for computing machinery
48
institution of electrical engineers
37
taylor & francis
34
ieee
30
nauka
24
society for industrial and applied mathematics
23
lavoisier
21
academia
17
slovak academy of sciences
16
academic press
15
scripta technica
12
edp sciences
11
inderscience publishers
10
institute of information theory and automation of the academy of sciences of the czech republic
10
springer-verlag
9
oxford university press
8
taylor and francis
6
centrum voor wiskunde en informatica
5
cepadues
5
instytut informatyki politechniki szczecinskiej
5
ios press
5
mit press
5
kluwer
4
weniger ...
Sprache
Geographischer Bezug
Treffer aus
Erscheinungsjahr
Filter