The truth of religion,

Tr. of: Der wahrheitsgenalt der religion.

The historical evidences of the truth of the Scripture records : stated anew, with special reference to the doubts and discoveries of modern times ... /

Title on spine: Historical evidences.

The Arctic prairies; a canoe-journey of 2,000 miles in search of the caribou; being the account of a voyage to the region north of Aylmer Lake,

Mode of access: Internet.

Evidences of Christianity : or, Uncle Philip's conversations with the children about the truth of the Christian religion.

Added t.-p.: Uncle Philip's conversations with young persons.

The church's argument for Christianity, or, The apostolic succession : maintained and exhibited as evidence for the truth of the Christian religion /

Mode of access: Internet.

The truth and the witness,

Mode of access: Internet.

Partingtonian patchwork. : Blifkins the martyr: the domestic trials of a model husband. The modern syntax: Dr. Spooner's experiences in search of the delectable. Partington papers: Strippings of the warm milk of human kindness. New and old dips from an unambitious inkstand. Humourous, eccentric, rhythmical. /

On t-p verso: Stereotyped at the Boston Stereotype Foundry... -- "Lubricatory" (i.e., preface): p.5-6; "Contents": p.7-10

Narrative of an expedition to the east coast of Greenland : sent by order of the king of Denmark, in search of the lost colonies, under the command of Captn. W. A. Graah /

Mode of access: Internet.

Narrative of the operations and recent discoveries within the pyramids, temples, tombs, and excavations, in Egypt and Nubia : and of a journey to the coast of the Red Sea, in search of the ancient Berenice, and another to the oasis of Jupiter Ammon /

"Short account of the women of Egypt, Nubia, and Syria; by Mrs. Belzoni": v. 2, p. [241]-327.

A history of the libel suit of Clarence H. Venner against August Belmont : how a plaintiff who had been called a practical blackmailer discontinued his suit for libel when confronted with an order for his examination as to the truth of the charge.

Mode of access: Internet.

The arctic prairies; a canoe-journey of 2,000 miles in search of the caribou; being the account of a voyage to the region north of Aylmer lake,

"Copyright, 1911 ... New uniform edition ... 1917 ... Republication October 30, 1943."

The truth of the Christian religion /

Translation of: Die Wahrheit der christlichen Religion.

Breadth-first search and the Andrews-Curtis conjecture

Andrews and Curtis conjectured in 1965 that every balanced presentation of the trivial group can be transformed into a standard presentation by a finite sequence of elementary transformations. Recent computational work by Miasnikov and Myasnikov on this problem has been based on genetic algorithms. We show that a computational attack based on a breadth-first search of the tree of equivalent presentations is also viable, and seems to outperform that based on genetic algorithms. It allows us to extract shorter proofs (in some cases, provably shortest) and to consider the length thirteen case for two generators. We prove that, up to equivalence, there is a unique minimum potential counterexample.