Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings

Gespeichert in:

Personen und Körperschaften: Bläsius, Karl Hans (VerfasserIn), Hedtstück, Ulrich (Sonstige), Rollinger, Claus-Rainer (Sonstige)
Titel: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings/ by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 1990
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 418
Schlagwörter:
Artificial intelligence
Computer science
Logic, Symbolic and mathematical
Computer Science
Konferenzschrift > 1989 > Eringerfeld
Buchausg. u.d.T.: Sorts and types in artificial intelligence, Berlin : Springer, 1990, VIII, 307 S
Quelle: Springer Lecture Notes
LEADER 03825cam a22007452 4500
001 17-1649280912
003 DE-627
005 20230413111422.0
007 cr uuu---uuuuu
008 100510s1990 xx |||||o 00| ||eng c
020 |a 9783540469650  |9 978-3-540-46965-0 
024 7 |a 10.1007/3-540-52337-6  |2 doi 
035 |a (DE-627)1649280912 
035 |a (DE-576)322902789 
035 |a (DE-599)BSZ322902789 
035 |a (OCoLC)699831636 
035 |a (DE-He213)978-3-540-52337-6 
035 |a (ZBM)0743.68016 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
084 |a ST 300  |2 rvk  |0 (DE-625)rvk/143650: 
084 |a ST 285  |2 rvk  |0 (DE-625)rvk/143648: 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68T27  |2 msc 
084 |a 68T99  |2 msc 
084 |a 68T50  |2 msc 
084 |a 03B65  |2 msc 
084 |a 68N17  |2 msc 
084 |a 54.72  |2 bkl 
100 1 |a Bläsius, Karl Hans  |0 (DE-627)1234235854  |0 (DE-576)16423585X  |4 aut 
245 1 0 |a Sorts and Types in Artificial Intelligence  |b Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings  |c by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1990 
300 |a Online-Ressource 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 418 
490 0 |a SpringerLink  |a Bücher 
650 0 |a Artificial intelligence 
650 0 |a Computer science 
650 0 |a Logic, Symbolic and mathematical 
650 0 |a Computer Science 
655 7 |a Konferenzschrift  |y 1989  |z Eringerfeld  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4033447-8  |0 (DE-627)106257188  |0 (DE-576)209002050  |a Künstliche Intelligenz  |2 gnd 
689 0 1 |d s  |0 (DE-588)4240889-1  |0 (DE-627)104860928  |0 (DE-576)210433450  |a Sorte  |g Logik  |2 gnd 
689 0 2 |d s  |0 (DE-588)4011149-0  |0 (DE-627)106354167  |0 (DE-576)208892036  |a Datentyp  |2 gnd 
689 0 |5 DE-101 
700 1 |a Hedtstück, Ulrich  |d 1951-  |0 (DE-588)11057334X  |0 (DE-627)474744892  |0 (DE-576)164231498  |4 oth 
700 1 |a Rollinger, Claus-Rainer  |0 (DE-627)123277409X  |0 (DE-576)162774095  |4 oth 
776 1 |z 9783540523376 
776 0 8 |i Buchausg. u.d.T.  |t Sorts and types in artificial intelligence  |d Berlin : Springer, 1990  |h VIII, 307 S  |w (DE-627)022652779  |w (DE-576)021125201  |z 3540523375  |z 0387523375 
830 0 |a Lecture notes in computer science  |v 418  |9 418  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/3-540-52337-6  |x Verlag  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz322902789cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150910142230  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:0743.68016  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-1-SLN 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SCS 
936 r v |a ST 300  |b Allgemeines  |k Informatik  |k Monografien  |k Künstliche Intelligenz  |k Allgemeines  |0 (DE-627)1271119005  |0 (DE-625)rvk/143650:  |0 (DE-576)201119005 
936 r v |a ST 285  |b Computer supported cooperative work (CSCW), Groupware  |k Informatik  |k Monografien  |k Software und -entwicklung  |k Computer supported cooperative work (CSCW), Groupware  |0 (DE-627)1270877453  |0 (DE-625)rvk/143648:  |0 (DE-576)200877453 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.72  |j Künstliche Intelligenz  |q SEPA  |0 (DE-627)10641240X 
951 |a BO 
980 |a 1649280912  |b 17  |c ZDB-2-SCS  |c ZDB-2-LNC  |c ZDB-1-SLN 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Sorts+and+Types+in+Artificial+Intelligence%3A+Workshop%2C+Eringerfeld%2C+FRG%2C+April+24-26%2C+1989.+Proceedings&rft.date=1990&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Sorts+and+Types+in+Artificial+Intelligence%3A+Workshop%2C+Eringerfeld%2C+FRG%2C+April+24-26%2C+1989.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+418&rft.au=Bl%C3%A4sius%2C+Karl+Hans&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3540469656
SOLR
_version_ 1795887023034204160
author Bläsius, Karl Hans
author2 Hedtstück, Ulrich, Rollinger, Claus-Rainer
author2_role oth, oth
author2_variant u h uh, c r r crr
author_facet Bläsius, Karl Hans, Hedtstück, Ulrich, Rollinger, Claus-Rainer
author_role aut
author_sort Bläsius, Karl Hans
author_variant k h b kh khb
building Library A
collection ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS
ctrlnum (DE-627)1649280912, (DE-576)322902789, (DE-599)BSZ322902789, (OCoLC)699831636, (DE-He213)978-3-540-52337-6, (ZBM)0743.68016
doi_str_mv 10.1007/3-540-52337-6
era_facet 1989
facet_912a ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS
facet_avail Online
facet_local_del330 Künstliche Intelligenz, Sorte, Datentyp
finc_class_facet Informatik
fincclass_txtF_mv science-computerscience
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent-conference
format_dezi4 e-Book
format_dezwi2 Ebook
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 1989 Eringerfeld (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Eringerfeld
hierarchy_parent_id 17-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 418
hierarchy_top_id 17-316228877
hierarchy_top_title Lecture notes in computer science
id 17-1649280912
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer Berlin Heidelberg, 1990
imprint_str_mv Berlin, Heidelberg: Springer Berlin Heidelberg, 1990
institution DE-105, DE-D275, DE-Zwi2, DE-Ch1, DE-D161, DE-15
is_hierarchy_id 17-1649280912
is_hierarchy_title Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
isbn 9783540469650
isbn_isn_mv 9783540523376, 3540523375, 0387523375
issn_isn_mv 1611-3349
language English
last_indexed 2024-04-09T19:35:28.215Z
marc024a_ct_mv 10.1007/3-540-52337-6
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @5300267a, Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ]
match_str blasius1990sortsandtypesinartificialintelligenceworkshoperingerfeldfrgapril24261989proceedings
mega_collection Springer Lecture Notes
multipart_link 093890923
multipart_part (093890923)418
oclc_num 699831636
physical Online-Ressource
publishDate 1990
publishDateSort 1990
publishPlace Berlin, Heidelberg
publisher Springer Berlin Heidelberg
record_format marcfinc
record_id 1649280912
recordtype marcfinc
rvk_facet ST 300, ST 285, SS 4800
rvk_label Informatik, Monografien, Künstliche Intelligenz, Allgemeines, Software und -entwicklung, Computer supported cooperative work (CSCW), Groupware, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, ST, ST 285, SQ - SU, ST 300, SS 4000 - SS 5999, SS 4800, ST 300 - ST 308, ST 230 - ST 285
rvk_path_str_mv SS, ST, ST 285, SQ - SU, ST 300, SS 4000 - SS 5999, SS 4800, ST 300 - ST 308, ST 230 - ST 285
series Lecture notes in computer science, 418
series2 Lecture Notes in Computer Science ; 418, SpringerLink ; Bücher
source_id 17
spelling Bläsius, Karl Hans (DE-627)1234235854 (DE-576)16423585X aut, Sorts and Types in Artificial Intelligence Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger, Berlin, Heidelberg Springer Berlin Heidelberg 1990, Online-Ressource, Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 418, SpringerLink Bücher, Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift 1989 Eringerfeld (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4033447-8 (DE-627)106257188 (DE-576)209002050 Künstliche Intelligenz gnd, s (DE-588)4240889-1 (DE-627)104860928 (DE-576)210433450 Sorte Logik gnd, s (DE-588)4011149-0 (DE-627)106354167 (DE-576)208892036 Datentyp gnd, DE-101, Hedtstück, Ulrich 1951- (DE-588)11057334X (DE-627)474744892 (DE-576)164231498 oth, Rollinger, Claus-Rainer (DE-627)123277409X (DE-576)162774095 oth, 9783540523376, Buchausg. u.d.T. Sorts and types in artificial intelligence Berlin : Springer, 1990 VIII, 307 S (DE-627)022652779 (DE-576)021125201 3540523375 0387523375, Lecture notes in computer science 418 418 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/3-540-52337-6 Verlag Volltext, https://swbplus.bsz-bw.de/bsz322902789cov.jpg V:DE-576 X:springer image/jpeg 20150910142230 Cover, https://zbmath.org/?q=an:0743.68016 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext
spellingShingle Bläsius, Karl Hans, Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings, Lecture notes in computer science, 418, Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift 1989 Eringerfeld, Künstliche Intelligenz, Sorte Logik, Datentyp
title Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
title_auth Sorts and Types in Artificial Intelligence Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
title_full Sorts and Types in Artificial Intelligence Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
title_fullStr Sorts and Types in Artificial Intelligence Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
title_full_unstemmed Sorts and Types in Artificial Intelligence Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
title_in_hierarchy 418. Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (1990)
title_short Sorts and Types in Artificial Intelligence
title_sort sorts and types in artificial intelligence workshop, eringerfeld, frg, april 24-26, 1989. proceedings
title_sub Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
title_unstemmed Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
topic Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift 1989 Eringerfeld, Künstliche Intelligenz, Sorte Logik, Datentyp
topic_facet Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Computer Science, Konferenzschrift, Künstliche Intelligenz, Sorte, Datentyp
url https://doi.org/10.1007/3-540-52337-6, https://swbplus.bsz-bw.de/bsz322902789cov.jpg, https://zbmath.org/?q=an:0743.68016
work_keys_str_mv AT blasiuskarlhans sortsandtypesinartificialintelligenceworkshoperingerfeldfrgapril24261989proceedings, AT hedtstuckulrich sortsandtypesinartificialintelligenceworkshoperingerfeldfrgapril24261989proceedings, AT rollingerclausrainer sortsandtypesinartificialintelligenceworkshoperingerfeldfrgapril24261989proceedings