Algebra, meaning, and computation : (Record no. 637847)

MARC details
000 -LEADER
fixed length control field 09792cam a2201297 a 4500
001 - CONTROL NUMBER
control field ocn262693365
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703145352.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081017s2006 gw ac ob 111 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency HNK
-- OHX
-- COO
-- HEBIS
-- YNG
-- UV0
-- CEF
-- NUI
-- OCLCQ
-- N$T
-- REB
-- E7B
-- OCLCO
-- OCLCQ
-- A7U
-- OCLCQ
-- BEDGE
-- OCLCQ
-- OCLCF
-- OCLCO
-- YDXCP
-- IDEBK
-- SLY
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCO
-- DEBSZ
-- OCLCQ
-- EBLCP
-- VT2
-- LVT
-- SHS
-- OCLCQ
-- ESU
-- OCLCQ
-- OCLCO
-- NJR
-- U3W
-- OCLCQ
-- OCLCO
-- STF
-- UAB
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCO
-- WYU
-- YOU
-- UWO
-- OCLCQ
-- OCLCO
-- AU@
-- OL$
-- W2U
-- OCLCQ
-- AUD
-- BWN
-- ZHM
-- DCT
-- ERF
-- WURST
-- OCLCQ
-- EUX
-- LUN
-- UKAHL
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCQ
-- OCLCO
-- OCLCL
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA667531
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 981781535
Source DE-101
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 013520386
Source Uk
019 ## -
-- 70239052
-- 222314299
-- 228161334
-- 228161335
-- 308298163
-- 696923560
-- 709594639
-- 739147036
-- 767217017
-- 785778721
-- 880102643
-- 964902561
-- 993758387
-- 1005745055
-- 1006417944
-- 1009334515
-- 1011972370
-- 1012878907
-- 1014448558
-- 1020029516
-- 1026433788
-- 1027309319
-- 1035703003
-- 1036767996
-- 1038492077
-- 1039685408
-- 1044294173
-- 1056311029
-- 1071848107
-- 1081260194
-- 1086929274
-- 1097114131
-- 1102528611
-- 1105600496
-- 1110394616
-- 1110737416
-- 1111057815
-- 1112573257
-- 1119449111
-- 1132303259
-- 1162745913
-- 1170340035
-- 1171505093
-- 1238251208
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540354642
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540354646
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 354035462X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540354628
024 3# - OTHER STANDARD IDENTIFIER
Standard number or code 9783540354628
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/11780274
Source of number or code doi
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 9786611392284
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000040630774
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 280695616
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 182755274
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192074962
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 33321367X
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12056563
029 1# - (OCLC)
OCLC library identifier OHX
System control number har060079968
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262693365
Canceled/invalid control number (OCoLC)70239052
-- (OCoLC)222314299
-- (OCoLC)228161334
-- (OCoLC)228161335
-- (OCoLC)308298163
-- (OCoLC)696923560
-- (OCoLC)709594639
-- (OCoLC)739147036
-- (OCoLC)767217017
-- (OCoLC)785778721
-- (OCoLC)880102643
-- (OCoLC)964902561
-- (OCoLC)993758387
-- (OCoLC)1005745055
-- (OCoLC)1006417944
-- (OCoLC)1009334515
-- (OCoLC)1011972370
-- (OCoLC)1012878907
-- (OCoLC)1014448558
-- (OCoLC)1020029516
-- (OCoLC)1026433788
-- (OCoLC)1027309319
-- (OCoLC)1035703003
-- (OCoLC)1036767996
-- (OCoLC)1038492077
-- (OCoLC)1039685408
-- (OCoLC)1044294173
-- (OCoLC)1056311029
-- (OCoLC)1071848107
-- (OCoLC)1081260194
-- (OCoLC)1086929274
-- (OCoLC)1097114131
-- (OCoLC)1102528611
-- (OCoLC)1105600496
-- (OCoLC)1110394616
-- (OCoLC)1110737416
-- (OCoLC)1111057815
-- (OCoLC)1112573257
-- (OCoLC)1119449111
-- (OCoLC)1132303259
-- (OCoLC)1162745913
-- (OCoLC)1170340035
-- (OCoLC)1171505093
-- (OCoLC)1238251208
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-35462-8
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA150
Item number .A45 2006eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051390
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051440
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.101512
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number O15-532
Number source clc
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Algebra, meaning, and computation :
Remainder of title essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /
Statement of responsibility, etc. Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2006.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xxxviii, 642 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 4060.
Series statement Festschrift
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 ## - SUMMARY, ETC.
Summary, etc. Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fundamental ways by his ideas. This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation. The papers were presented at a Symposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Meaning -- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity -- My Friend Joseph Goguen -- Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany -- Meta-Logic -- Quantum Institutions -- Jewels of Institution-Independent Model Theory -- Semantic Web Languages -- Towards an Institutional Perspective -- Institutional 2-cells and Grothendieck Institutions -- Some Varieties of Equational Logic -- Complete Categorical Deduction for Satisfaction as Injectivity -- Specification and Composition -- Extension Morphisms for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ to ML to Coq -- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics in OBJ -- Horizontal Composability Revisited -- Composition by Colimit and Formal Software Development -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive Engine for Modular Transducers -- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages -- Sheaves and Structures of Transition Systems -- Uniform Functors on Sets -- An Algebraic Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications of the Rational Complex Numbers -- From Chaos to Undefinedness -- Completion Is an Instance of Abstract Canonical System Inference -- Eliminating Dependent Pattern Matching -- Iterative Lexicographic Path Orders -- A Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software Testing -- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method -- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences.
546 ## - LANGUAGE NOTE
Language note English.
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph.
9 (RLIN) 29748
600 16 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph.
9 (RLIN) 29748
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph A.
Source of heading or term cct
9 (RLIN) 29749
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph
Source of heading or term fast
-- https://id.oclc.org/worldcat/entity/E39PBJy4bYKq77RkRRwgfKQ8YP
9 (RLIN) 29748
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
Form subdivision Congresses.
9 (RLIN) 8408
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
General subdivision Data processing
Form subdivision Congresses.
9 (RLIN) 14649
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algèbre
Form subdivision Congrès.
9 (RLIN) 27019
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algèbre
General subdivision Informatique
Form subdivision Congrès.
9 (RLIN) 25053
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Programming
-- Open Source.
Source of heading or term bisacsh
9 (RLIN) 4346
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- Tools.
Source of heading or term bisacsh
9 (RLIN) 4348
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
9 (RLIN) 4347
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra.
Source of heading or term cct
9 (RLIN) 3817
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
General subdivision Data processing.
Source of heading or term cct
9 (RLIN) 14650
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
Source of heading or term fast
9 (RLIN) 3817
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
General subdivision Data processing
Source of heading or term fast
9 (RLIN) 14650
653 1# - INDEX TERM--UNCONTROLLED
Uncontrolled term Computation
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computertechnieken
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer techniques
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term wiskunde
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term mathematics
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logica
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logic
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwiskunde
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computational mathematics
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computational science
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Festschriften
Source of term fast
9 (RLIN) 109631
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Festschriften.
Source of term lcgft
9 (RLIN) 109631
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Futatsugi, Kokichi.
9 (RLIN) 20326
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jouannaud, Jean-Pierre.
9 (RLIN) 22115
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Meseguer, José.
9 (RLIN) 29750
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph.
9 (RLIN) 29748
758 ## -
-- has work:
-- Algebra, meaning, and computation (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGFdydxGVMkjtRYTMTM4G3
-- https://id.oclc.org/worldcat/ontology/hasWork
773 0# - HOST ITEM ENTRY
Title Springer e-books
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Algebra, meaning, and computation.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2006
International Standard Book Number 354035462X
-- 9783540354628
Record control number (DLC) 2006927438
-- (OCoLC)70664219
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4060.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Festschrift.
9 (RLIN) 19696
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/11780274">https://link.springer.com/10.1007/11780274</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH26902152
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL3068117
938 ## -
-- ebrary
-- EBRY
-- ebr10530367
938 ## -
-- EBSCOhost
-- EBSC
-- 183506
938 ## -
-- Otto Harrassowitz
-- HARR
-- har060079968
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23799237
938 ## -
-- YBP Library Services
-- YANK
-- 3024007
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha