Computable Models:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Springer London
2009
|
| Edition: | 1st ed. 2009 |
| Subjects: | |
| Online Access: | DE-355 Volltext |
| Physical Description: | 1 Online-Ressource (XII, 240 Seiten) |
| ISBN: | 9781848820524 |
| DOI: | 10.1007/978-1-84882-052-4 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV050122708 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 250115s2009 xx o|||| 00||| eng d | ||
| 020 | |a 9781848820524 |9 978-1-84882-052-4 | ||
| 024 | 7 | |a 10.1007/978-1-84882-052-4 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-84882-052-4 | ||
| 035 | |a (OCoLC)1492129122 | ||
| 035 | |a (DE-599)BVBBV050122708 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 100 | 1 | |a turner, raymond |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computable Models |c by raymond turner |
| 250 | |a 1st ed. 2009 | ||
| 264 | 1 | |a London |b Springer London |c 2009 | |
| 300 | |a 1 Online-Ressource (XII, 240 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 505 | 8 | |a Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781848820517 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781848820609 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781849968188 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-84882-052-4 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-1-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2009 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035459578 | |
| 966 | e | |u https://doi.org/10.1007/978-1-84882-052-4 |l DE-355 |p ZDB-2-SCS |q UBR Paketkauf 2024 |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1823676063459311616 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | turner, raymond |
| author_facet | turner, raymond |
| author_role | aut |
| author_sort | turner, raymond |
| author_variant | r t rt |
| building | Verbundindex |
| bvnumber | BV050122708 |
| collection | ZDB-1-SCS |
| contents | Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science |
| ctrlnum | (ZDB-2-SCS)978-1-84882-052-4 (OCoLC)1492129122 (DE-599)BVBBV050122708 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-1-84882-052-4 |
| edition | 1st ed. 2009 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV050122708</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">250115s2009 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848820524</subfield><subfield code="9">978-1-84882-052-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-84882-052-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-84882-052-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1492129122</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050122708</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">turner, raymond</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computable Models</subfield><subfield code="c">by raymond turner</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2009</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer London</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 240 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</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">9781848820517</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">9781848820609</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">9781849968188</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-84882-052-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2009</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035459578</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-84882-052-4</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">UBR Paketkauf 2024</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV050122708 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-10T13:10:23Z |
| institution | BVB |
| isbn | 9781848820524 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035459578 |
| oclc_num | 1492129122 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 240 Seiten) |
| psigel | ZDB-1-SCS ZDB-2-SCS_2009 ZDB-2-SCS UBR Paketkauf 2024 |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer London |
| record_format | marc |
| spelling | turner, raymond Verfasser aut Computable Models by raymond turner 1st ed. 2009 London Springer London 2009 1 Online-Ressource (XII, 240 Seiten) txt rdacontent c rdamedia cr rdacarrier Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer science Machine theory Artificial intelligence Natural language processing (Computer science) Erscheint auch als Druck-Ausgabe 9781848820517 Erscheint auch als Druck-Ausgabe 9781848820609 Erscheint auch als Druck-Ausgabe 9781849968188 https://doi.org/10.1007/978-1-84882-052-4 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | turner, raymond Computable Models Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer science Machine theory Artificial intelligence Natural language processing (Computer science) |
| title | Computable Models |
| title_auth | Computable Models |
| title_exact_search | Computable Models |
| title_full | Computable Models by raymond turner |
| title_fullStr | Computable Models by raymond turner |
| title_full_unstemmed | Computable Models by raymond turner |
| title_short | Computable Models |
| title_sort | computable models |
| topic | Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer science Machine theory Artificial intelligence Natural language processing (Computer science) |
| topic_facet | Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer science Machine theory Artificial intelligence Natural language processing (Computer science) |
| url | https://doi.org/10.1007/978-1-84882-052-4 |
| work_keys_str_mv | AT turnerraymond computablemodels |