Bibframe Work

Title

Logic, language, information, and computation

Type

Text

Monograph

Contribution

Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) (contributor)

Libkin, Leonid (contributor)

Kohlenbach, U. (Ulrich) (contributor)

Queiroz, Ruy J. G. B. de (contributor)

Subject

Computer logic--Congresses (LCSH)

Logic, Symbolic and mathematical--Congresses (LCSH)

Künstliche Intelligenz

Theoretische Informatik

Kongress--Darmstadt--2013

Genre Form

Conference papers and proceedings (LCGFT)

Language

English (eng)

Illustrative Content

illustrations

Could not render: bf:code

Classification

LCC: QA9.A1 W64 2013 (Assigner: dlc) (Status: used by assigner)

DDC: 005.101/5113 full (Assigner: dlc)(Source: 23)

004 (Source: sdnb)

DAT 540f (Source: stub)

DAT 710f (Source: stub)

SS 4800 (Source: rvk)

Supplementary Content

bibliography (bibliography)

index (index)

Content

text (txt)

Authorized Access Point

Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) Logic, language, information, and computation

Admin Metadata

Status: new

Date: 2013-06-27

Agent:

Admin Metadata

Status: changed

Date: 2015-08-03T15:31:36

Description Modifier: United States, Library of Congress

Admin Metadata

Generation Process: https://github.com/lcnetdev/marc2bibframe2/releases/tag/v2.7.0

Status: changed

Date: 2024-08-07T01:47:39.886516-04:00

Agent: United States, Library of Congress, Network Development and MARC Standards Office

Admin Metadata

Encoding Level: minimal

Description Level: http://id.loc.gov/ontologies/bibframe-2-3-0/

Description Conventions: ISBD: International standard bibliographic descriptionResource description and access

Identified By: bf:Local, 17793542

Description Language: English

Description Authentication: lccopycat

Bibframe Work

Alternate Formats