MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01811nam a2200385Ia 4500 |
| 000 - LEADER |
|---|
| fixed length control field |
03745nam a22004095i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-3-031-24841-2 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240319120757.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230107s2023 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031248412 |
| -- |
978-3-031-24841-2 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
5.13 |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Practical Aspects of Declarative Languages |
| Statement of responsibility, etc. |
edited by Michael Hanus, Daniela Inclezan. |
| Medium |
[electronic resource] : |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2023. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cham |
| Name of publisher, distributor, etc. |
Springer Nature Switzerland |
| Date of publication, distribution, etc. |
2023 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVIII, 313 p. 433 illus., 28 illus. in color. |
| Other physical details |
online resource. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Compilers (Computer programs). |
| 9 (RLIN) |
28427 |
|
|---|
| Topical term or geographic name entry element |
Compilers and Interpreters. |
| 9 (RLIN) |
28428 |
|
|---|
| Topical term or geographic name entry element |
Expert systems (Computer science). |
| 9 (RLIN) |
28429 |
|
|---|
| Topical term or geographic name entry element |
Formal Languages and Automata Theory. |
| 9 (RLIN) |
28430 |
|
|---|
| Topical term or geographic name entry element |
Knowledge Based Systems. |
| 9 (RLIN) |
28431 |
|
|---|
| Topical term or geographic name entry element |
Logic in AI. |
| 9 (RLIN) |
28432 |
|
|---|
| Topical term or geographic name entry element |
Logic programming. |
| 9 (RLIN) |
28433 |
|
|---|
| Topical term or geographic name entry element |
Machine theory. |
| 9 (RLIN) |
28434 |
|
|---|
| Topical term or geographic name entry element |
Mathematical Logic and Foundations. |
| 9 (RLIN) |
28435 |
|
|---|
| Topical term or geographic name entry element |
Mathematical logic. |
| 9 (RLIN) |
28436 |
|
|---|
| Topical term or geographic name entry element |
Programming Language. |
| 9 (RLIN) |
28437 |
|
|---|
| Topical term or geographic name entry element |
Programming languages (Electronic computers). |
| 9 (RLIN) |
28438 |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hanus, Michael. |
| 9 (RLIN) |
28439 |
|
|---|
| Personal name |
Inclezan, Daniela. |
| 9 (RLIN) |
28440 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
e-Book |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
