Search
Feedback
About UniCat 
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
ISBN: 3540075380 0387075380 3540380574 9783540075387 Year: 1975 Volume: 498 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra --- Mathematical logic --- 510.6 --- Model theory. --- Algebra. --- Robinson, Abraham, --- 510.6 Mathematical logic --- Model theory --- Algèbre --- Théorie des modèles --- Robinson, Abraham --- Théorie des modèles. --- Algèbre.
ISBN: 0387979719 3540979719 9780387979717 Year: 1993 Volume: 141 Publisher: New York, NY : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Gröbner bases --- ALGEBRA --- data processing --- Grobner bases. --- Grobner bases --- Gröbner basis theory --- Bases de Gröbner --- Gröbner bases --- Bases de Gröbner --- Algebra --- 512.55 --- 512.55 Rings and modules --- Rings and modules --- Commutative algebra --- Data processing --- Ordered algebraic structures --- Data processing. --- Algèbre --- Informatique --- Geometry, Algebraic --- Géométrie algébrique. --- Algorithms --- Algorithmes. --- Algèbres commutatives --- Algebra - Data processing. --- ALGEBRA - data processing --- Algèbres commutatives --- Géométrie algébrique.
ISBN: 3540654666 Year: 2003 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra --- 519.68 --- 681.3*I13 --- 681.3*I13 Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22} --- Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22} --- 519.68 Computer programming --- Computer programming --- Data processing
Book
Year: 1998 Publisher: [Place of publication not identified] Association for Computing Machinery
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 4 of 4 |
Sort by
|