Normale Ansicht MARC ISBD

Constructivity in computer science summer symposium, San Antonio, TX, June 19 - 22, 1991 ; proceedings J. P. Myers ... (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 61300 | Lecture notes in computer science ; 613Verlag: Berlin Heidelberg [u.a.] Springer 1992Beschreibung: X, 246 S. graph. Darst. 25 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540556311
0387556311

Schlagwörter:

Genre/Form:

Konferenzschrift -- 1991 -- San Antonio, Tex.

Andere physische Formen: Online-Ausg.: Constructivity in computer science; Erscheint auch als: Constructivity in Computer ScienceLOC-Klassifikation:

QA76.9.M35

Andere Klassifikation:

28
SS 4800
*68-06
03B35
03B70
03F65
68Qxx
68Rxx
00B25
54.51

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / Myers, J.Paul Jr: Constructivity in Computer Science; Online-Ausg.: / Constructivity in computer science

Exemplare ( 1 )
Titelinformationen ( 5 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 613 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000005041

Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	LNCS 6125 A 25-year perspective on logic programming achievements of the Italian Association for Logic Programming, GULP	LNCS 6128 Applications and theory of Petri nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings	LNCS 6129 Combinatorial pattern matching 21st annual symposium, CPM 2010, New York, NY, USA, June 21-23, 2010 ; proceedings,	LNCS 613 Constructivity in computer science summer symposium, San Antonio, TX, June 19 - 22, 1991 ; proceedings	LNCS 6130 Advances in geometric modeling and processing 6th international conference, GMP 2010, Castro-Urdiales, Spain, June 16 - 18, 2010 ; proceedings	LNCS 6131 Distributed computing in sensor systems 6th IEEE international conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 ; proceedings	LNCS 6132 Beyond loop level parallelism in OpenMP: accelerators, tasking and more 6th International Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 ; proceedings	Weiter

Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991, sponsored by Trinity University, the University of Chicago, and the Association for Symbolic Logic

Literaturangaben

Constructivity in computer science

Myers, J.Paul Jr: Constructivity in Computer Science

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31