Resultados
|
|
|
|
|
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt, ed. por International Seminar on Relational Methods in Computer Science (9 : 2006 : Manchester, Inglaterra) | Schmidt, Renate A [editor] | International Workshop on Applications of Kleene Algebra (4 : 2006 : Manchester, Inglaterra). Series Lecture notes in computer science ; 4136Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 I58 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic logic; and introduction. por Thomason, Richmond H [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: London : Macmillan, 1970Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T45.
|
|
|
|
|
|
Techniques of deductive inference / Hugues Leblanc por Leblanc, Hugues, 1924- [autor]. Tipo de material: Texto; Formato:
impreso Editor: Englewood cliffs, new jersey : Prentice Hall, c1966Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 L36.
|
|
|
|
|
|
|
|
|
Threshold logic. por Sheng, Ch'ing-lai [autor]. Series Electrical scienceTipo de material: Texto; Forma literaria:
No es ficción Editor: Toronto : Ryerson, 1969Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA401 S43.
|
|
|
|
|
|
|