Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings (Q1567496)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings |
scientific article; zbMATH DE number 1461734
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings |
scientific article; zbMATH DE number 1461734 |
Statements
Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings (English)
0 references
20 June 2000
0 references
Iowa City, IA (USA)
0 references
Proceedings
0 references
Conference
0 references
AMAST 2000
0 references
0.99081296
0 references
0 references
0.8920037
0 references
0 references
0.8871987
0 references