Relational Methods in Computer Science 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers /
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | de Swart, Harrie C.M (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
Έκδοση: | 1st ed. 2002. |
Σειρά: | Lecture Notes in Computer Science,
2561 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Semigroups in Complete Lattices Quantales, Modules and Related Topics /
ανά: Eklund, Patrik, κ.ά.
Έκδοση: (2018) -
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior /
ανά: Schultz, Patrick, κ.ά.
Έκδοση: (2019) -
Birational Geometry of Hypersurfaces Gargnano del Garda, Italy, 2018 /
Έκδοση: (2019) -
Geometry of Moduli
Έκδοση: (2018) -
Higher Segal Spaces
ανά: Dyckerhoff, Tobias, κ.ά.
Έκδοση: (2019)