Logic and Computation / / edited by Razvan Diaconescu.
The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023" of the MDPI "Mathematics" journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-...
Saved in:
| TeilnehmendeR: | |
|---|---|
| Place / Publishing House: | [Place of publication not identified] : : MDPI - Multidisciplinary Digital Publishing Institute,, 2023. |
| Year of Publication: | 2023 |
| Language: | English |
| Physical Description: | 1 online resource (194 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
993600112804498 |
|---|---|
| ctrlnum |
(CKB)4960000000467935 (NjHacI)994960000000467935 (EXLCZ)994960000000467935 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Logic and Computation / edited by Razvan Diaconescu. [Place of publication not identified] : MDPI - Multidisciplinary Digital Publishing Institute, 2023. 1 online resource (194 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Description based on publisher supplied metadata and other sources. The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023" of the MDPI "Mathematics" journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of applying logic to computing. Logic programming. 3-0365-7376-3 Diaconescu, Răzvan, editor. |
| language |
English |
| format |
eBook |
| author2 |
Diaconescu, Răzvan, |
| author_facet |
Diaconescu, Răzvan, |
| author2_variant |
r d rd |
| author2_role |
TeilnehmendeR |
| title |
Logic and Computation / |
| spellingShingle |
Logic and Computation / |
| title_full |
Logic and Computation / edited by Razvan Diaconescu. |
| title_fullStr |
Logic and Computation / edited by Razvan Diaconescu. |
| title_full_unstemmed |
Logic and Computation / edited by Razvan Diaconescu. |
| title_auth |
Logic and Computation / |
| title_new |
Logic and Computation / |
| title_sort |
logic and computation / |
| publisher |
MDPI - Multidisciplinary Digital Publishing Institute, |
| publishDate |
2023 |
| physical |
1 online resource (194 pages) |
| isbn |
3-0365-7377-1 3-0365-7376-3 |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA76 |
| callnumber-sort |
QA 276.63 L645 42023 |
| illustrated |
Not Illustrated |
| dewey-hundreds |
000 - Computer science, information & general works |
| dewey-tens |
000 - Computer science, knowledge & systems |
| dewey-ones |
005 - Computer programming, programs & data |
| dewey-full |
005.1 |
| dewey-sort |
15.1 |
| dewey-raw |
005.1 |
| dewey-search |
005.1 |
| work_keys_str_mv |
AT diaconescurazvan logicandcomputation |
| status_str |
n |
| ids_txt_mv |
(CKB)4960000000467935 (NjHacI)994960000000467935 (EXLCZ)994960000000467935 |
| carrierType_str_mv |
cr |
| is_hierarchy_title |
Logic and Computation / |
| author2_original_writing_str_mv |
noLinkedField |
| _version_ |
1796653161112403969 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01444nam a2200289 i 4500</leader><controlfield tag="001">993600112804498</controlfield><controlfield tag="005">20230625110404.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">230625s2023 xx o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-0365-7377-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4960000000467935</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(NjHacI)994960000000467935</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994960000000467935</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">NjHacI</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">NjHacl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.63</subfield><subfield code="b">.L645 2023</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic and Computation /</subfield><subfield code="c">edited by Razvan Diaconescu.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Place of publication not identified] :</subfield><subfield code="b">MDPI - Multidisciplinary Digital Publishing Institute,</subfield><subfield code="c">2023.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (194 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023" of the MDPI "Mathematics" journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of applying logic to computing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-0365-7376-3</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diaconescu, Răzvan,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-07-06 03:13:22 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2023-05-13 19:27:32 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5345684550004498&Force_direct=true</subfield><subfield code="Z">5345684550004498</subfield><subfield code="b">Available</subfield><subfield code="8">5345684550004498</subfield></datafield></record></collection> |