|
|
Logica: Metodo Breve
by Mundici, Daniele.
Publication:
. XI, 126 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Erdős Centennial
by Lovász, László.
Publication:
. X, 720 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cylindric-like Algebras and Algebraic Logic
by Andréka, Hajnal.
Publication:
. 478 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ernst Zermelo - Collected Works/Gesammelte Werke
by Zermelo, Ernst.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ernst Zermelo - Collected Works/Gesammelte Werke II
by Zermelo, Ernst.
Publication:
. XXIX, 781 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Course on Mathematical Logic
by Srivastava, Shashi Mohan.
Publication:
. XII, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Logic and Model Theory
by Prestel, Alexander.
Publication:
. X, 194 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Mining and Knowledge Discovery via Logic-Based Methods
by Triantaphyllou, Evangelos.
Publication:
. XXXIII, 350p. 91 illus., 9 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of World Knowledge for Natural Language Understanding
by Ovchinnikova, Ekaterina.
Publication:
. XVII, 242p. 16 illus., 2 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Logic
by Li, Wei.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reactive Kripke Semantics
by Gabbay, Dov M.
Publication:
. XII, 442 p. 201 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ontology Matching
by Euzenat, Jérôme.
Publication:
. XVII, 511 p. 103 illus., 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Modeling and Optimization
by Hömberg, Dietmar.
Publication:
. XII, 568 p. 88 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XIV, 245 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Industrial Deployment of System Engineering Methods
by Romanovsky, Alexander.
Publication:
. X, 259 p. 43 illus., 36 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Information Processing VI
by Shi, Zhongzhi.
Publication:
. XII, 410 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computational Intelligence
by Greco, Salvatore.
Publication:
. Approx. 710 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computational Intelligence
by Greco, Salvatore.
Publication:
. Approx. 630 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computational Intelligence
by Greco, Salvatore.
Publication:
. XVI, 600p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances on Computational Intelligence
by Greco, Salvatore.
Publication:
. XVI, 658 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|