A sua pesquisa retornou 137 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
Logical foundations of cyber-physical systems / André Platzer Publicação: Cham : Springer, cop. 2018Descrição: XXXI, 639 p. : il. colorExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Theory of effective propositional paraconsistent logics / Arnon Avron, Ofer Arieli and Anna Zamansky Publicação: [S. l.] : College Publications, 2018 (Milton Keynes : Lightning SourceDescrição: XXIV, 550 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Reading, writing, and proving : a closer look at mathematics / Ulrich Daepp, Pamela Gorkin Publicação: New York (NY) : Springer, cop. 2010Descrição: XVI, 395 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logics of specification languages / eds. Dines Bjørner, Martin C. Henson Publicação: Berlin : Springer, cop. 2008Descrição: XXI, 623 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Temporal logic and state systems / Fred Kröger, Stephan Merz Publicação: Berlin : Springer, cop. 2008Descrição: XI, 433 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Institution-independent model theory / Răzvan Diaconescu Publicação: Basel : Birkhauser, 2008Descrição: XI, 376 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Reservar Adicionar ao carrinho
Dependence logic : a new approach to independence friendly logic / Jouko Väänänen Publicação: Cambridge (MA) : Cambridge University Press, cop. 2007Descrição: IX, 225 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
A tour through mathematical logic / Robert S. Wolf Publicação: Washington (DC) : The Mathematical Association of America, cop. 2005Descrição: XV, 397 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Interpolation and definability : modal and intuitionistic logics / D. M. Gabbay and L. Maksimova Publicação: Oxford : Clarendon Press, 2005Descrição: XIV, 508 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Interactive theorem proving and program development : coq'art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran Publicação: Berlin : Springer, 2004Descrição: XXV, 469 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic and structure / Dirk van Dalen Publicação: Berlin : Springer, 2004Descrição: X, 263 p. : ilExemplares emprestados: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Linear logic in computer science / ed. Thomas Ehrhard... [et al.] Publicação: Cambridge : Cambridge University Press, cop. 2004Descrição: X, 381 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Lectures in logic and set theory / George Tourlakis Publicação: Cambridge : University Press, 2003Descrição: 2 vol. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Reservar Adicionar ao carrinho
Problems in set theory, mathematical logic and the theory of algorithms / Igor Lavrov and Larisa Maksimova Publicação: New York : Kluwer Academic/Plenum Publishers, 2003Descrição: XII, 282 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Free logic : selected essays / Karel Lambert Publicação: Cambridge : Cambridge University Press, cop. 2003Descrição: XII, 191 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Analysis and logic / by C. Ward Henson...[et al.] ; edited by Catherine Finet and Christian Michaux Publicação: Cambridge : Cambridge University Press, 2002Descrição: XIV, 267 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Paraconsistency : the logical way to the inconsistent : proceedings of the World Congress [...] / edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano Publicação: New York (NY) : Marcel Dekker, cop. 2002Descrição: XVIII, 552 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic and structured design : for computer programmers / Harold J. Rood Publicação: Pacific Grove (CA) : Books/Cole, cop. 2001Descrição: X, 454 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
A mathematical introduction to logic / Herbert B. Enderton Publicação: San Diego : Academic Press, cop. 2001Descrição: XII, 317 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Mathematical logic for computer science / Mordechai Ben-Ari Publicação: London : Springer, 2001Descrição: XIV, 304 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>