Results
|
|
|
|
|
|
|
Lógica simbólica / Manuel Garrido
by Garrido, Manuel. Edition: 3a ed.Material type:  Printed books Publisher: Madrid : Tecnos, 1995Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Depósito C (Villaviciosa de Odón) |
BC135 .G37 1995 |
available |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Introducción a la lógica formal / Alfredo Deaño
by Deaño, Alfredo, (1944-1978). Edition: 1ª ed., reimp.Material type: Printed books Publisher: Madrid : Alianza, 1999 reimp. 2001Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Colección General (Campus Villaviciosa) |
BC50 .D43 2001 |
available |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Directed Algebraic Topology and Concurrency / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
by Fajstrup, Lisbeth | SpringerLink (Online service) | Goubault, Eric | Haucourt, Emmanuel | Mimram, Samuel | Raussen, Martin. Edition: 1st ed.Material type:  E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.M35 F357 2016 EB |
reference |
|
|
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II / edited by Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R Yager
by SpringerLink (Online service) | Carvalho, Joao Paulo, editor literario | Lesot, Marie-Jeanne, editor literario | Kaymak, Uzay, editor literario | Vieira, Susana, editor literario | Bouchon-Meunier, Bernadette, editor literario | Yager, Ronald R, editor literario. Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.E95 I546 2016 EB |
reference |
|
|
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I / edited by Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R Yager
by Carvalho, Joao Paulo, editor literario | Lesot, Marie-Jeanne, editor literario | Kaymak, Uzay, editor literario | Vieira, Susana, editor literario | Bouchon-Meunier, Bernadette, editor literario | Yager, Ronald R, editor literario | SpringerLink (Online service). Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.E95 I546 2016 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Leveraging aplications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht
by Lamprecht, Anna-Lena, editor literario. Material type: E-book Publisher: Cham (Alemania) : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TJ211.45 .L484 2016 EB |
reference |
|
|
|
|
|
|
Archive for Mathematical Logic Material type:  E-journal; Type of continuing resource:
newspaper
Berlín : Springer Berlin Heidelberg, 1950-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA9.A1 ES |
reference |
|
|
|