|
|
Logic and complexity / Richard Lassaigne, Michel de Rougemont
Monografia
Publication
London : Springer, cop. 2004
Description
X, 359 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon
Monografia
Publication
Amsterdam : North-Holland, 1993
Description
XIII, 568 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / ed. Marco Bernardo, Rocco De Nicola, Jane Hillston
Monografia
Publication
[Cham] : Springer, cop. 2016
Description
VII, 261 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal methods for multicore programming : 15th International School on Formal Methods fo the Design of Computer, Communication, and Software Systems, SFM 2015... / ed. Marco Bernardo, Einar Broch Johnsen
Monografia
Publication
Cham : Springer, 2015
Description
210, [4] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / ed. Carlo A. Furia, Kirsten Winter
Monografia
Publication
Cham : Springer, cop. 2018
Description
XVI, 420 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün
Monografia
Publication
Cham : Springer, cop. 2019
Description
XVIII, 550 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
An introduction to fuzzy logic and fuzzy sets / James J. Buckley, Esfandiar Eslami
Monografia
Publication
New York : Physica-Verlag, cop. 2002
Description
X, 284 p. :
il ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Modelling and verification of secure exams / Rosario Giustolisi
Monografia
Publication
Cham : Springer, cop. 2018
Description
XI, 138 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Exploring paraconsistent logics for quantum programs [Documento eletrónico] : paraconsistent transition systems : modal paraconsistent logic / Ana Luzia Cruz ; orient. Luís Soares Barbosa, Alexandre Madeira
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Logic-based artificial intelligence / ed. Jack Minker
Monografia
Publication
Boston : Kluwer Academic, cop. 2000
Description
XXIII, 606 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Monografia
Publication
Cham : Springer, cop. 2017
Description
XII, 389, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|