Gespeichert in:
| Weitere beteiligte Personen: | , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1991
|
| Links: | https://doi.org/10.1017/CBO9780511569807 |
| Zusammenfassung: | This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. |
| Umfang: | 1 Online-Ressource (xii, 403 Seiten) |
| ISBN: | 9780511569807 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9780511569807 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020621.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090520s1991||||enk o ||1 0|eng|d | ||
| 020 | |a 9780511569807 | ||
| 245 | 0 | 0 | |a Logical frameworks |c edited by Gérard Huet, G. Plotkin |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1991 | |
| 300 | |a 1 Online-Ressource (xii, 403 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | |a This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. | ||
| 700 | 1 | |a Huet, Gérard | |
| 700 | 1 | |a Plotkin, G. |d 1946- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521413008 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511569807 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511569807 |
|---|---|
| _version_ | 1832177784068243457 |
| adam_text | |
| any_adam_object | |
| author2 | Huet, Gérard Plotkin, G. 1946- |
| author2_role | |
| author2_variant | g h gh g p gp |
| author_facet | Huet, Gérard Plotkin, G. 1946- |
| author_sort | Huet, Gérard |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01230nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511569807</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020621.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090520s1991||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511569807</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logical frameworks</subfield><subfield code="c">edited by Gérard Huet, G. Plotkin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 403 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huet, Gérard</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Plotkin, G.</subfield><subfield code="d">1946-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521413008</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511569807</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9780511569807 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:35Z |
| institution | BVB |
| isbn | 9780511569807 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xii, 403 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Logical frameworks edited by Gérard Huet, G. Plotkin Cambridge Cambridge University Press 1991 1 Online-Ressource (xii, 403 Seiten) txt c cr This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. Huet, Gérard Plotkin, G. 1946- Erscheint auch als Druck-Ausgabe 9780521413008 |
| spellingShingle | Logical frameworks |
| title | Logical frameworks |
| title_auth | Logical frameworks |
| title_exact_search | Logical frameworks |
| title_full | Logical frameworks edited by Gérard Huet, G. Plotkin |
| title_fullStr | Logical frameworks edited by Gérard Huet, G. Plotkin |
| title_full_unstemmed | Logical frameworks edited by Gérard Huet, G. Plotkin |
| title_short | Logical frameworks |
| title_sort | logical frameworks |
| work_keys_str_mv | AT huetgerard logicalframeworks AT plotking logicalframeworks |