Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Genetic Algorithms and Fuzzy Multiobjective OptimizationSakawa, MasatoshiBoston, MA: Springer US 2002Texto completo disponível |
|
2 |
Material Type: Livro
|
Beyond Two: Theory and Applications of Multiple-Valued LogicFitting, Melvin ; Orłowska, Ewa Fitting, Melvin ; Orłowska, EwaHeidelberg: Physica-Verlag HD 2003Texto completo disponível |
|
3 |
Material Type: Livro
|
First-Order Logic and Automated Theorem ProvingFitting, MelvinNew York, NY: Springer New York 1996Texto completo disponível |
|
4 |
Material Type: Livro
|
Short Introduction to Intuitionistic LogicMints, GrigoriBoston, MA: Springer 2000Texto completo disponível |
|
5 |
Material Type: Livro
|
Proof Methods for Modal and Intuitionistic LogicsFitting, MDordrecht: Springer Netherlands 1983Texto completo disponível |
|
6 |
Material Type: Livro
|
Part-Whole Reasoning in an Object-Centered FrameworkLambrix, PatrickBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
7 |
Material Type: Livro
|
An Introduction to Fuzzy Logic ApplicationsHarris, JohnDordrecht: Springer Netherlands 2000Texto completo disponível |
|
8 |
Material Type: Livro
|
Foundations of Equational Logic ProgrammingHölldobler, Steffen Hölldobler, SteffenBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
9 |
Material Type: Artigo
|
Desynchronization: Synthesis of Asynchronous Circuits From Synchronous SpecificationsCortadella, J. ; Kondratyev, A. ; Lavagno, L. ; Sotiriou, C.P.IEEE transactions on computer-aided design of integrated circuits and systems, 2006-10, Vol.25 (10), p.1904-1921 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
10 |
Material Type: Livro
|
Logic of Analogy: An Interpretation of St ThomasMcInerny, Ralph MDordrecht: Springer Netherlands 1971Texto completo disponível |