Progress in artificial intelligence: 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
1993
|
Schriftenreihe: | Lecture notes in computer science
727 : Lecture notes in artificial intelligence |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | X, 362 S. graph. Darst. |
ISBN: | 3540572872 0387572872 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV008214834 | ||
003 | DE-604 | ||
005 | 20080606 | ||
007 | t| | ||
008 | 930906s1993 gw d||| |||| 10||| eng d | ||
016 | 7 | |a 931372658 |2 DE-101 | |
020 | |a 3540572872 |9 3-540-57287-2 | ||
020 | |a 0387572872 |9 0-387-57287-2 | ||
035 | |a (OCoLC)28722504 | ||
035 | |a (DE-599)BVBBV008214834 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-739 |a DE-384 |a DE-91G |a DE-19 |a DE-20 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
050 | 0 | |a Q334.P67 1993 | |
082 | 0 | |a 006.3 20 | |
082 | 0 | |a 006.3 |2 20 | |
084 | |a DAT 700f |2 stub | ||
084 | |a 28 |2 sdnb | ||
245 | 1 | 0 | |a Progress in artificial intelligence |b 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings |c Miguel Filgueiras ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 1993 | |
300 | |a X, 362 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 727 : Lecture notes in artificial intelligence | |
650 | 7 | |a Inteligencia Artificial (Computacao) |2 larpcal | |
650 | 4 | |a Intelligence artificielle - Congrès | |
650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Artificial intelligence -- Congresses | |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Porto Portugal |2 gnd-content | |
689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Filgueiras, Miguel |e Sonstige |4 oth | |
711 | 2 | |a EPIA |n 6 |d 1993 |c Porto |j Sonstige |0 (DE-588)2132012-3 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 727 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 727 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005422773 |
Datensatz im Suchindex
_version_ | 1820874840733646848 |
---|---|
adam_text |
TABLE OF CONTENTS
DISTRIBUTED ARTIFICIAL INTELLIGENCE
INVITED LECTURE:
ORGANIZATIONS AS COMPLEX, DYNAMIC DESIGN PROBLEMS .1
LES GASSER, INGEMAR HULTHAGE, BRIAN LEVERICH, JON LIEB, ANN MAJCHRZAK
INST, OF SAFETY AND SYSTEMS MANAGEMENT, UNIVERSITY OF SOUTH CALIFORNIA,
U.S.A.
SPECIFYING AND VERIFYING DISTRIBUTED INTELLIGENT SYSTEMS .13
MICHAEL FISHER, MICHAEL WOOLDRIDGE
DEPT, OF COMPUTING, MANCHESTER METROPOLITAN UNIVERSITY, UNITED KINGDOM
A LOGICAL APPROACH FOR DISTRIBUTED TRUTH MAINTENANCE .29
THILO C. HORSTMANN
GMD, SANKT AUGUSTIN, GERMANY
NATURAL LANGUAGE PROCESSING
BUILDING TEXT TEMPORAL STRUCTURE.45
IRENE PIMENTA RODRIGUES, JOSE G. LOPES
CRIA, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
RESOLUTION OF CONSTRAINTS IN ALGEBRAS OF RATIONAL TREES.61
LUIS DAMAS, NELMA MOREIRA, SABINE BRODA
LIACC, UNIVERSIDADE DO PORTO, PORTUGAL
KNOWLEDGE REPRESENTATION
INHERITANCE IN A HIERARCHY OF THEORIES .77
GABRIEL DAVID, ANTONIO PORTO
DEP. DE INFORMATICA, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
SEMANTICS OF INTERWORKING KNOWLEDGE BASED SYSTEMS.93
GEORG REICHWEIN, JOSE FIADEIRO
INESC/DMIST, LISBOA, PORTUGAL
COMBINING TERMINOLOGICAL LOGICS WITH TENSE LOGIC.105
KLAUS SCHILD
DFKI, UNIVERSITAT DES SAARLANDES, GERMANY
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/931372658
VIII
TOWARDS COMPLETE ANSWERS IN CONCEPT LANGUAGES .121
MARGARIDA MAMEDE, LUIS MONTEIRO
DEP. DE INFORMATICS, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
VERSION SPACE ALGORITHMS ON HIERARCHIES WITH EXCEPTIONS.136
GRIGORIS ANTONIOU
DEPT, OF MATHEMATICS AND COMPUTER SCIENCE, UNIVERSITAT OSNABRIICK,
GERMANY
LOGIC PROGRAMMING
REGULAR LANGUAGES AND A CLASS OF LOGIC PROGRAMS.150
ARMANDO B. MATOS
LIACC, UNIVERSIDADE DO PORTO, PORTUGAL
SOME RESULTS ON THE COMPLEXITY OF SLD-DERIVATIONS.158
ARMANDO B. MATOS
LIACC, UNIVERSIDADE DO PORTO, PORTUGAL
AN OR-PARALLEL PROLOG EXECUTION MODEL FOR A
DISTRIBUTED SHARED MEMORY MACHINE .170
FERNANDO M. A. SILVA
LIACC, UNIVERSIDADE DO PORTO, PORTUGAL
DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL IN
LOGIC PROGRAMS.183
LUIS MONIZ PEREIRA, CARLOS VIEGAS DAMASIO, JOSE J. ALFERES
CRIA AND DCS, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
NON-STANDARD LOGICS
WELL-FOUNDED APPROXIMATIONS OF AUTOEPISTEMIC LOGIC .198
JIIRGEN KALINSKI
INSTITUT FIIR INFORMATIK III, UNIVERSITAT BONN, GERMANY
A PROCESS MODEL FOR DEFAULT LOGIC AND
ITS REALIZATION IN LOGIC PROGRAMMING.
GRIGORIS ANTONIOU, ELMAR LANGETEPE
DEPT, OF MATHEMATICS AND COMPUTER SCIENCE, UNIVERSITAT OSNABRIICK,
GERMANY
213
IX
AUTOMATED REASONING
A UNIFIED APPROACH TO DEFAULT REASONING AND BELIEF REVISION . 226
MARIA R. CRAVO, JOAO P. MARTINS
DEP. DE ENG. MECANICA, INSTITUTO SUPERIOR TECNICO, LISBOA, PORTUGAL
SECOND ORDER E-MATCHING AS A TOOL
FOR AUTOMATED THEOREM PROVING.242
REGIS CURIEN
CRIN AND INRIA-LORRAINE, NANCY, FRANCE
CONSTRAINTS
ATTRIBUTE-SPECIFIC INTERCHANGEABILITY IN
CONSTRAINT SATISFACTION PROBLEMS .258
ALOIS HASELBOCK, MARKUS STUMPTNER
INSTITUT FUR INFORMATIONSSYSTEME, TECHNISCHE UNIVERSITAT WIEN, AUSTRIA
THE USE AND INTERPRETATION OF META LEVEL CONSTRAINTS.271
PIERRE BERLANDIER
INRIA-CERMICS, SOPHIA-ANTIPOLIS, FRANCE
PRELIMINARY FORMALIZATION OF AN INCREMENTAL HIERARCHICAL
CONSTRAINT SOLVER.281
FRANCISCO MENEZES, PEDRO BARAHONA
DEP. DE INFORMATICA, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
FAST METHODS FOR SOLVING LINEAR DIOPHANTINE EQUATIONS .297
MIGUEL FILGUEIRAS, ANA P. TOMAS
LIACC, UNIVERSIDADE DO PORTO, PORTUGAL
PLANNING
A NOTE ON CHAPMAN'S MODAL TRUTH CRITERION .307
MARIA FOX, DEREK LONG
COMPUTER SCIENCE DEPT., UNIVERSITY COLLEGE LONDON, UNITED KINGDOM
X
LEARNING
LEARNING OPERATORS WHILE PLANNING.311
JOSE L. S. FERREIRA, ERNESTO J. F. COSTA
LIS, UNIVERSIDADE DE COIMBRA, PORTUGAL
EVALUATING EVIDENCE FOR MOTIVATED DISCOVERY .324
MICHAEL M. LUCK
COMPUTER SCIENCE DEPT., UNIVERSITY COLLEGE LONDON, UNITED KINGDOM
HOW TO LEARN IN AN INCOMPLETE KNOWLEDGE ENVIRONMENT .340
ERIC AURIOL
DEPT, OF COMPUTER SCIENCE, UNIVERSITAT KAISERSLAUTERN, GERMNAY
POSTER ABSTRACTS
THE SEMANTICS OF RATIONAL CONTRACTIONS .356
JURGEN GIESL, INGRID NEUMANN
DEPT, OF COMPUTER SCIENCE, TECHNICAL UNIVERSITY OF DARMSTADT, GERMANY
A UNIFORM FRAMEWORK FOR DEDUCTIVE DATABASE
DERIVATION STRATEGIES.357
ROBERT DEMOLOMBE
ONERA-CERT, TOULOUSE, FRANCE
ASSUMPTION SET SEMANTICS (THE PROCEDURES) .358
JOAQUIM NUNES APARFCIO
DEP. DE INFORMATICS, UNIVERSIDADE NOVA DE LISBOA, PORTUGAL
BARGAINING AGENTS .359
STEFAN BUSSMANN, JURGEN MULLER
DFKI, UNIVERSITAT DES SAARLANDES, GERMANY
A CONSTRAINT MAINTENANCE ALGORITHM BASED ON
VALUE PROPAGATION .360
GILLES TROMBETTONI
INRIA-CERMICS, SOPHIA-ANTIPOLIS, FRANCE
A TEXT-TO-PHONEME TRANSLATOR FOR THE PORTUGUESE LANGUAGE.361
GERALDO LIMA DE CAMPOS, DIMAS TREVISAN CHBANE
DEP. DE ENG. DE COMPUTA;AO, UNIVERSIDADE DE SAO PAULO, BRASIL
LEARNING PROBABILISTIC MODELS BY
CONCEPTUAL PYRAMIDAL CLUSTERING .362
E. DIDAY, P. BRITO, E. MFOUMOUNE
INRIA, ROCQUENCOURT, FRANCE AND UNIVERSIDADE DE AVEIRO, PORTUGAL |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV008214834 |
callnumber-first | Q - Science |
callnumber-label | Q334 |
callnumber-raw | Q334.P67 1993 |
callnumber-search | Q334.P67 1993 |
callnumber-sort | Q 3334 P67 41993 |
callnumber-subject | Q - General Science |
classification_rvk | SS 4800 |
classification_tum | DAT 700f |
ctrlnum | (OCoLC)28722504 (DE-599)BVBBV008214834 |
dewey-full | 006.320 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 20 006.3 |
dewey-search | 006.3 20 006.3 |
dewey-sort | 16.3 220 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008214834</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930906s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931372658</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540572872</subfield><subfield code="9">3-540-57287-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387572872</subfield><subfield code="9">0-387-57287-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28722504</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008214834</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334.P67 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Progress in artificial intelligence</subfield><subfield code="b">6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings</subfield><subfield code="c">Miguel Filgueiras ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 362 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">727 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia Artificial (Computacao)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Porto Portugal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Filgueiras, Miguel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">EPIA</subfield><subfield code="n">6</subfield><subfield code="d">1993</subfield><subfield code="c">Porto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2132012-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">727 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">727</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005422773</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1993 Porto Portugal gnd-content |
genre_facet | Konferenzschrift 1993 Porto Portugal |
id | DE-604.BV008214834 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:06:08Z |
institution | BVB |
institution_GND | (DE-588)2132012-3 |
isbn | 3540572872 0387572872 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005422773 |
oclc_num | 28722504 |
open_access_boolean | |
owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
physical | X, 362 S. graph. Darst. |
publishDate | 1993 |
publishDateSearch | 1993 |
publishDateSort | 1993 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings Miguel Filgueiras ... (eds.) Berlin [u.a.] Springer 1993 X, 362 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 727 : Lecture notes in artificial intelligence Inteligencia Artificial (Computacao) larpcal Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Porto Portugal gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Filgueiras, Miguel Sonstige oth EPIA 6 1993 Porto Sonstige (DE-588)2132012-3 oth Lecture notes in computer science 727 : Lecture notes in artificial intelligence (DE-604)BV000000607 727 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings Lecture notes in computer science Inteligencia Artificial (Computacao) larpcal Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
title | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings |
title_auth | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings |
title_exact_search | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings |
title_full | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings Miguel Filgueiras ... (eds.) |
title_fullStr | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings Miguel Filgueiras ... (eds.) |
title_full_unstemmed | Progress in artificial intelligence 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings Miguel Filgueiras ... (eds.) |
title_short | Progress in artificial intelligence |
title_sort | progress in artificial intelligence 6th portuguese conference on ai epia 93 porto portugal october 6 8 1993 proceedings |
title_sub | 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6 - 8, 1993 ; proceedings |
topic | Inteligencia Artificial (Computacao) larpcal Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
topic_facet | Inteligencia Artificial (Computacao) Intelligence artificielle - Congrès Kunstmatige intelligentie Künstliche Intelligenz Artificial intelligence -- Congresses Konferenzschrift 1993 Porto Portugal |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT filgueirasmiguel progressinartificialintelligence6thportugueseconferenceonaiepia93portoportugaloctober681993proceedings AT epiaporto progressinartificialintelligence6thportugueseconferenceonaiepia93portoportugaloctober681993proceedings |