Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Logic machines and diagramsMartin Gardner 1914-2010New York McGraw-Hill 1958Localização: EPBC - Esc. Politécnica-Bib Central (164 G175L ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Máquinas lógicas y diagramasMartin Gardner 1914-2010 Eli de Gortari 1918-México Editorial Grijalbo 1973Localização: FAU - Fac. Arquitetura e Urbanismo (160 G175m )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Set containment and cube expansion with binary decision diagrams for logic synthesisJiang Chau Wang 1958- Seminario Integrado de Software e Hardware (23. 1993 Florianopolis)Anais Florianopolis : Sbc, 1993Florianopolis Sbc 1993Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
Material Type: Livro
|
The iconic logic of Peirce's graphsSun-Joo ShinCambridge, Mass MIT Press 2002Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (191 P378s )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averagingRenato Lui Geh Denis Deratani Mauá; Conference on Uncertainty in Artificial Intelligence - UAI (37. 2021 Virtual event)Proceedings of Machine Learning Research : PMLR Brookline v. 161, p. 2039-2049, 2021Brookline 2021Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Conceptual structures fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedingsInternational Conference on Conceptual Structures (5th 1997 Seattle, Wash.) Dickson Lukose; G Carbonell; J SiekmannBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1257 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Conceputal structures theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998 : proceedingsInternational Conference on Conceptual Structures (6th 1998 Montpellier, France) Marie-Laure Mugnier; Michel CheinBerlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1453 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Conceptual structures standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedingsInternational Conference on Conceptual Structures (7th 1999 Blacksburg, Va.) William M Tepfenhart; Walling CyreCarbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin, Springer-Verlag, c1994-Berlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1640 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Conceptual structures logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedingsInternational Conference on Conceptual Structures (8th 2000 Darmstadt, Germany) Bernhard Ganter; Guy W MineauBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1867 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Conceptual structures broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedingsInternational Conference on Conceptual Structures (9th 2001 Stanford, Calif.) Harry S Delugach 1953-; Gerd Stumme 1967-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2120 ) e outros locais(Acessar) |