Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 3540542809 0387542809 3642767737 3642767710 9783540542803 Year: 1992 Volume: 25 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra, Universal --- Algebra, Universal. --- Algèbre universelle. --- Informatique --- Computer science --- Algèbre universelle.
ISBN: 0198537352 0198537611 019853762X 0198537808 0198537816 9780198537625 9780198537809 9780198537618 9780198537359 Year: 1992 Publisher: Oxford Clarendon
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science. --- Logic, Symbolic and mathematical. --- Computer science --- Logic, Symbolic and mathematical --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Computer Science. --- Logic, symbolic and mathematical --- Computer Science --- Informatique --- Logique symbolique et mathématique --- Algèbre universelle. --- Algebra, Universal --- Logique mathématique --- Sémantique --- Algèbre universelle --- Algebra, Universal. --- Logique mathématique --- Récursivité, Théorie de la --- Sémantique --- Semantics-data processing --- Algèbre universelle.
Book
ISBN: 3540563148 0387563148 3540475141 9783540563143 Year: 1992 Volume: 1533 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra --- Algebraic varieties --- Algebraïsche variëteiten --- Lattice theory --- Roostertheorie --- Treillis [Theorie des ] --- Variétés algébriques --- Algebraic varieties. --- 51 --- Lattices (Mathematics) --- Space lattice (Mathematics) --- Structural analysis (Mathematics) --- Algebra, Abstract --- Algebra, Boolean --- Group theory --- Set theory --- Topology --- Transformations (Mathematics) --- Crystallography, Mathematical --- Varieties, Algebraic --- Geometry, Algebraic --- Linear algebraic groups --- Mathematics --- 51 Mathematics --- Lattice theory. --- Treillis, Théorie des --- Modular lattices. --- Treillis modulaires. --- Algèbre universelle. --- Algebra, Universal --- Algèbre universelle --- Algebra, Universal. --- Treillis, Théorie des --- Logique mathématique --- Théorie des modèles --- Ordres (mathematiques) --- Treillis
| Listing 1 - 3 of 3 |
Sort by
|