5
5.0
texts
eye 5
favorite 0
comment 0
vi, 389 p. : 23 cm
Topic: Logic, Symbolic and mathematical -- Congresses
2
2.0
Oct 18, 2021
10/21
by
Southeast Asian Conference on Logic (1981 : Singapore)
texts
eye 2
favorite 0
comment 0
xiv, 210 p. ; 23 cm
Topic: Logic, Symbolic and mathematical -- Congresses
19
19
texts
eye 19
favorite 0
comment 0
251 p. ; 25 cm
Topic: Logic, Symbolic and mathematical -- Congresses
33
33
Mar 14, 2019
03/19
by
Cabal Seminar (1976-1977 : California Institute of Technology and University of California, Los Angeles)
texts
eye 33
favorite 2
comment 0
282 p. : 25 cm
Topic: Logic, Symbolic and mathematical -- Congresses
3
3.0
Jul 23, 2020
07/20
by
Logic Meeting (1987 : Kyoto, Japan)
texts
eye 3
favorite 1
comment 0
222 p. : 24 cm
Topic: Logic, Symbolic and mathematical -- Congresses
5
5.0
Aug 12, 2019
08/19
by
Summer School and Colloquium in Mathematical Logic (1969 : Manchester, Eng.)
texts
eye 5
favorite 0
comment 0
xiv, 451 p.; 23 cm. -
Topic: Logic, Symbolic and mathematical -- Congresses
13
13
Jul 17, 2019
07/19
by
Scandinavian Logic Symposium (2d : 1970 : University of Oslo)
texts
eye 13
favorite 1
comment 0
413 p. ; 23 cm. --
Topic: Logic, Symbolic and mathematical -- Congresses
23
23
Jul 17, 2019
07/19
by
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
texts
eye 23
favorite 1
comment 0
viii, 516 p. 23 cm
Topic: Logic, Symbolic and mathematical -- Congresses
12
12
Sep 5, 2019
09/19
by
Conference on Alternative Semantics (1970 : Temple University)
texts
eye 12
favorite 1
comment 0
[viii], 317 p. ; 23 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Semantics -- Congresses
3
3.0
May 5, 2022
05/22
by
Logic Colloquium (1997 : Leeds, England)
texts
eye 3
favorite 0
comment 0
ix, 419 p. ; 23 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Computable functions -- Congresses
5
5.0
Mar 14, 2019
03/19
by
U.S.-Israel Workshop on Model Theory in Mathematical Logic (1985 : Chicago, Ill.)
texts
eye 5
favorite 0
comment 0
500 p. ; 25 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Model theory -- Congresses
4
4.0
texts
eye 4
favorite 0
comment 0
470 p. : 25 cm
Topics: Logic programming -- Congresses, Logic, Symbolic and mathematical -- Congresses
1
1.0
texts
eye 1
favorite 0
comment 0
vi, 424 p. ; 25 cm
Topics: Computer programs -- Congresses, Logic, Symbolic and mathematical -- Congresses
3
3.0
texts
eye 3
favorite 0
comment 0
x, 270 p. : 24 cm
Topics: Formal languages -- Congresses, Logic, Symbolic and mathematical -- Congresses
44
44
Aug 1, 2019
08/19
by
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
texts
eye 44
favorite 2
comment 0
145 p. 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Set theory -- Congresses
2
2.0
Apr 23, 2022
04/22
by
International Conference AISC 2000 (2000 : Madrid, Spain)
texts
eye 2
favorite 0
comment 0
x, 252 p. : 24 cm
Topics: Artificial intelligence -- Congresses, Logic, Symbolic and mathematical -- Congresses
2
2.0
texts
eye 2
favorite 0
comment 0
viii, 290 p. : 24 cm
Topics: Formal languages -- Congresses, Logic, Symbolic and mathematical -- Congresses
6
6.0
Jul 9, 2019
07/19
by
Symposium on Non-standard Analysis (1970 : Oberwolfach, Ger.)
texts
eye 6
favorite 1
comment 0
vi, 291 p. ; 23 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Nonstandard mathematical analysis -- Congresses
27
27
Oct 22, 2018
10/18
by
Logic Colloquium (1992 : Veszprém, Hungary)
texts
eye 27
favorite 2
comment 0
xiii, 319 pages : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logic, Symbolic and mathematical, Algebraïsche...
3
3.0
Dec 21, 2021
12/21
by
International Conference on Automated Deduction (19th : 2003 : Miami Beach, Fla.)
texts
eye 3
favorite 0
comment 0
xii, 502 p. : 24 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses
3
3.0
Jan 10, 2022
01/22
by
Logic Colloquium (1981 : Marseille, France)
texts
eye 3
favorite 0
comment 0
1 online resource (xi, 384 pages) :
Topics: Logic, Symbolic and mathematical -- Congresses, Logic, Symbolic and mathematical
3
3.0
May 17, 2022
05/22
by
Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)
texts
eye 3
favorite 0
comment 0
viii, 277 p. : 25 cm
Topics: Artificial intelligence -- Congresses, Logic, Symbolic and mathematical -- Congresses, Robotics --...
47
47
Aug 29, 2019
08/19
by
International Congress for Logic, Methodology and Philosophy of Science (1960 : Stanford, Calif.)
texts
eye 47
favorite 1
comment 0
ix, 661 p. :
Topics: Logic, Symbolic and mathematical -- Congresses, Methodology -- Congresses, Science -- Philosophy --...
7
7.0
Oct 25, 2019
10/19
by
DMTCS 2003 (2003 : Dijon, France)
texts
eye 7
favorite 0
comment 0
viii, 300 p. : 24 cm
Topics: Combinatorial analysis -- Congresses, Computational complexity -- Congresses, Logic, Symbolic and...
1
1.0
texts
eye 1
favorite 0
comment 0
xiv, 237 p. : 25 cm
Topics: Artificial intelligence -- Congresses, Nonmonotonic reasoning -- Congresses, Logic, Symbolic and...
6
6.0
Dec 16, 2019
12/19
by
International Scientific Symposium (1989 : Hamburg, Germany)
texts
eye 6
favorite 0
comment 0
252 p. : 25 cm
Topics: Natural language processing (Computer science) -- Congresses, Logic, Symbolic and mathematical --...
50
50
Sep 5, 2019
09/19
by
International Congress for Logic, Methodology, and Philosophy of Science (2d : 1964 : Jerusalem)
texts
eye 50
favorite 1
comment 0
viii, 440 p. : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Science -- Methodology -- Congresses, Science --...
6
6.0
texts
eye 6
favorite 0
comment 0
162 p. : 25 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Programming (Mathematics) -- Congresses,...
29
29
May 7, 2019
05/19
by
International Congress of Logic, Methodology, and Philosophy of Science (5th : 1975 : University of Western Ontario)
texts
eye 29
favorite 1
comment 0
x, 406 p. : 23 cm. --
Topics: Computable functions -- Congresses, Logic, Symbolic and mathematical -- Congresses, Mathematics --...
17
17
Sep 12, 2019
09/19
by
NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic (1991 : Banff, Alta.)
texts
eye 17
favorite 0
comment 0
xvii, 453 p. : 25 cm
Topics: Combinatorial analysis -- Congresses, Logic, Symbolic and mathematical -- Congresses, Set theory --...
6
6.0
texts
eye 6
favorite 1
comment 0
189 p. 26 cm
Topics: Categories (Mathematics) -- Congresses, Geometry, Algebraic -- Congresses, Logic, Symbolic and...
2
2.0
Jul 3, 2020
07/20
by
International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.)
texts
eye 2
favorite 0
comment 0
x, 211 p. : 24 cm
Topics: Geometry -- Data processing -- Congresses, Automatic theorem proving -- Congresses, Logic, Symbolic...
4
4.0
Jun 7, 2021
06/21
by
Workshop and Conference on Logic, Algebra, and Arithmetic (2003 : Tehran, Iran)
texts
eye 4
favorite 0
comment 0
xvi, 341 pages ; 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Arithmetic -- Congresses, Arithmetic, Logic,...
3
3.0
Aug 19, 2021
08/21
by
International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.)
texts
eye 3
favorite 0
comment 0
x, 534 p. : 24 cm
Topics: Artificial intelligence -- Congresses, Reasoning -- Congresses, Knowledge, Theory of -- Congresses,...
15
15
Aug 8, 2019
08/19
by
Gödel '96 (1996 : Brno, Czech Republic)
texts
eye 15
favorite 2
comment 0
viii, 322 p. : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Mathematics -- Philosophy -- Congresses, Computer...
3
3.0
texts
eye 3
favorite 0
comment 0
1 online resource (500 pages)
Topics: Computer science -- Mathematics -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
11
11
texts
eye 11
favorite 0
comment 0
1 online resource (488 pages)
Topics: Computer science -- Mathematics -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
5
5.0
texts
eye 5
favorite 0
comment 0
1 online resource (448 pages)
Topics: Computer science -- Mathematics -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
4
4.0
texts
eye 4
favorite 1
comment 0
vi, 326 pages : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logique symbolique et mathématique -- Congrès,...
4
4.0
Sep 22, 2021
09/21
by
Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.)
texts
eye 4
favorite 0
comment 0
vi, 429 pages : 24 cm
Topics: Computer programming -- Congresses, Programmation (Informatique) -- Congrès, Logiciels --...
4
4.0
texts
eye 4
favorite 0
comment 0
viii, 307 p. : 25 cm
Topics: Artificial intelligence -- Congresses, Logic, Symbolic and mathematical -- Congresses, Sorting...
6
6.0
texts
eye 6
favorite 1
comment 0
251 pages ; 25 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logique symbolique et mathématique -- Congrès,...
7
7.0
Jun 28, 2020
06/20
by
European Workshop JELIA '90 (1990 : Amsterdam, Netherlands)
texts
eye 7
favorite 0
comment 0
ix, 561 p. : 25 cm
Topics: Artificial intelligence -- Congresses, Logic programming -- Congresses, Semantics -- Data...
9
9.0
Oct 21, 2020
10/20
by
Conference in Mathematical Logic, Bedford College, 1970
texts
eye 9
favorite 1
comment 0
vi, 351 pages 26 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logique symbolique et mathématique -- Congrès,...
4
4.0
Oct 13, 2021
10/21
by
Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela)
texts
eye 4
favorite 1
comment 0
vii, 407 pages ; 25 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logique symbolique et mathématique -- Congrès,...
3
3.0
Oct 7, 2020
10/20
by
Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
texts
eye 3
favorite 0
comment 0
vii, 389 pages ; 25 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses, Automatic...
14
14
Oct 25, 2018
10/18
by
Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)
texts
eye 14
favorite 1
comment 0
xi, 348 pages : 24 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
13
13
Jul 7, 2021
07/21
by
Symposium on Logic in Computer Science (1986 : Cambridge, Mass.)
texts
eye 13
favorite 0
comment 0
xi, 383 pages : 28 cm
Topics: Electronic data processing -- Congresses, Computer programming -- Congresses, Logic, Symbolic and...
3
3.0
May 11, 2022
05/22
by
Symposium on Logic in Computer Science (3rd : 1988 : Edinburgh, Scotland)
texts
eye 3
favorite 0
comment 0
xi, 436 pages : 28 cm
Topics: Computer science -- Mathematics -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
3
3.0
Oct 6, 2020
10/20
by
Logic Symposia (1979 : Hakone-machi, Japan)
texts
eye 3
favorite 1
comment 0
xi, 394 pages ; 25 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Logique symbolique et mathématique -- Congrès,...
