Research on automatic indexing, 1974-1976
K. S. Jones
Not in Library
The evaluation of a protection system
Douglas John Cook
Not in Library
Resource allocation and job scheduling
Philip Hazel
Not in Library
Parrot - A replacement for TCAM
P. Hazel
Not in Library
Constraint enforcement in a relational database management system
M. Robson
Not in Library
Constraints in CODD
M. Robson
Not in Library
The foundation of a generic theorem prover
Lawrence C. Paulson
Not in Library
Lessons learned from LCF
Lawrence C. Paulson
Not in Library
Mechanized proofs of security protocols
Lawrence C. Paulson
Not in Library
Natural deduction proof as higher-order resolution
Lawrence C. Paulson
Not in Library
Natural deduction theorem proving via higher-order resolution
Lawrence C. Paulson
Not in Library
Proving termination of normalization functions for conditional express ...
Lawrence C. Paulson
Not in Library

Publishing History This is a chart to show the when this publisher published books. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart.  This graph charts editions from this publisher over time. Click to view a single year, or drag across a range.

Editions Published
Year of Publication

subjects

Automatic theorem proving, Programming languages (Electronic computers), Computer security, Distributed operating systems (Computers), Distributed processing, Electronic data processing, Mathematical models, Natural language processing (Computer science), Semantics

places

None found.

people

None found.

times

None found.

Authors

published most by this publisher
Lawrence C. Paulson, 12 books
Glynn Winskel, 9 books
Bran Boguraev, 6 books
K. Sparck Jones, 5 books
Hiyan Alshawi, 3 books
John Herbert, 3 books
M. Robson, 2 books
Andrew Hopper, 1 book
Martin Richards, 1 book
K. S. Jones, 1 book
Philip Hazel, 1 book
E. Robinson, 1 book
Alan Mycroft, 1 book
J. Larmouth, 1 book
Mike Gray, 1 book
P. Hazel, 1 book
Jean Bacon, 1 book
Claire Grover, 1 book
David C. J. Matthews, 1 book
William Stoye, 1 book
M. J. C. Gordon, 1 book
M. J. C. Gordon, 1 book
Jon Fairbairn, 1 book
Ben C. Moszkowski, 1 book
David C. J. Matthews, 1 book

Try a keyword.